curry-libs 2.0.1-1 source package in Ubuntu
Changelog
curry-libs (2.0.1-1) unstable; urgency=medium * New upstream release. * debian/control: + Bump Standards-Version: to 4.1.3. No changes needed. + Add B (curry-libs-source): pakcs (<< 2.0.1~). * debian/{control,compat}: + Bump to DH version level 10 (level 11 not yet supported by CDBS). -- Mike Gabriel <email address hidden> Fri, 09 Feb 2018 12:02:51 +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 | Published | Component | Section | |
---|---|---|---|---|
Bionic | release | universe | misc |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
curry-libs_2.0.1-1.dsc | 2.0 KiB | 44d4541ca28caf9c22dbb5f2562a48846edc6b81f49e8215bf478be13b1a3f0d |
curry-libs_2.0.1.orig.tar.gz | 144.0 KiB | 6233aee46e3a873b99785980210275c06e4e239f2d07aa13a6136045216db367 |
curry-libs_2.0.1-1.debian.tar.xz | 3.0 KiB | 25d4ae0b0a74d47ca66b9bd6a1e1fdbd9bfc4d34eedc049108466c6abf0a6a22 |
Available diffs
- diff from 2.0.0-1 to 2.0.1-1 (5.6 KiB)
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.