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.
