Ubuntu
curry-libs package

curry-libs 1.0.3-1 source package in Ubuntu

Changelog

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

  * New upstream release.
  * debian/patches:
    + Drop all upstream patches, shipped with this upstream release.

 -- Mike Gabriel <email address hidden>  Wed, 22 Feb 2017 11:00:12 +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

Artful: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
curry-libs_1.0.3-1.dsc 2.0 KiB 09befd4138d8eabf80097731e5f54c77505e4eb231b1a9a38ea629e357afc4cd
curry-libs_1.0.3.orig.tar.gz 392.4 KiB 8169e35aa4e917c4d03e46f54c63f96433d8fc1c2ff7283ea9c387878654130a
curry-libs_1.0.3-1.debian.tar.xz 2.7 KiB d0b75e148817479c8ad058e80433d97d4081164d3f2b6d8b4d139c630ca08823

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.