curry-libs 1.0.3-2 source package in Ubuntu
Changelog
curry-libs (1.0.3-2) unstable; urgency=medium * debian/watch: + Update to new tarball naming scheme in recent GitLab versions. * debian/control: + Bump Standards-Version: to 4.1.0. No changes needed. -- Mike Gabriel <email address hidden> Sun, 17 Sep 2017 19:22:49 +0200
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 | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
curry-libs_1.0.3-2.dsc | 2.0 KiB | ccea17233478c0abcecc394a2afe415c5367353ed0426cbf1807429787853cad |
curry-libs_1.0.3.orig.tar.gz | 392.4 KiB | 8169e35aa4e917c4d03e46f54c63f96433d8fc1c2ff7283ea9c387878654130a |
curry-libs_1.0.3-2.debian.tar.xz | 2.8 KiB | a4e4aa2e1a96af66876a9aef317b69066115cd9cf8f24e756f0ea39f0de02fa4 |
Available diffs
- diff from 1.0.3-1 to 1.0.3-2 (722 bytes)
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.