Ubuntu
curry-tools package

curry-tools 1.0.3+dfsg1-2 source package in Ubuntu

Changelog

curry-tools (1.0.3+dfsg1-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:27: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 Pocket Published Component Section

Builds

Bionic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
curry-tools_1.0.3+dfsg1-2.dsc 2.1 KiB f42837b2ba4a7806f1aae50c73903cd6b250654d81a47decb918dac9eceb536a
curry-tools_1.0.3+dfsg1.orig.tar.xz 582.1 KiB 28eff9c145a8656b52744314e62d6f108964e8d79e45ebc5da74e110c03e9b3b
curry-tools_1.0.3+dfsg1-2.debian.tar.xz 4.1 KiB 2cba10110e263d1a1a0cfa2b5e0fcfa80d61cadbd5bc5f5cca8f9613293ae7cd

Available diffs

No changes file available.

Binary packages built by this source

curry-tools-source: Tools that are used by different Curry systems, like PAKCS or KiCS2

 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-tools-source and curry-tools-source.
 .
 This package provides the source files of the curry-tools.