Ubuntu
curry-libs package

curry-libs 2.0.0-1 source package in Ubuntu

Changelog

curry-libs (2.0.0-1) unstable; urgency=medium

  * Upload to unstable.

  * debian/rules:
    + Use  --clamp-mtime --mtime="$(SOURCE_DATE)" when tarring up sources.

 -- Mike Gabriel <email address hidden>  Tue, 12 Dec 2017 19:29:21 +0100

Upload details

Uploaded by:
Debian Curry Maintainers
Uploaded to:
Sid
Original maintainer:
Debian Curry Maintainers
Architectures:
all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Builds

Bionic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
curry-libs_2.0.0-1.dsc 2.0 KiB 1903a8a3aaf99c602b3c578ce13de75932d647400e5d235f42469532718c73d0
curry-libs_2.0.0.orig.tar.gz 143.4 KiB caa1e6c5d864202ee5716031de56ca0fce6af4cff48575fe09f49232bf6be20e
curry-libs_2.0.0-1.debian.tar.xz 2.9 KiB 637801e804ce022ab095b27ea8f8606e03efc472bf1fcccf855b19f73656cb7d

Available diffs

No changes file available.

Binary packages built by this source

curry-libs-source: Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)

 PAKCS and KICS2 are two different implementations of the programming
 language Curry. Curry is a functional programming language being developed
 at Kiel, Aachen and Portland University.
 .
 Whereas PAKCS is a Curry to Prolog compiler, KICS2 compiles Curry code
 into Haskell. Both compilers require two source code trees at compiler
 build time: curry-libs-source and curry-tools-source.
 .
 This package provides the source files of the curry-libs.