Uploaded at Apr 1 11:56:30 2020 (UTC)
Succesfully tested at Aug 21 03:32:04 2020

Curry Package base

base: Base libraries for Curry systems

This package contains the standard base libraries of the Curry systems PAKCS and KiCS2. These libraries are directly distributed with specific versions of the Curry systems.

In order to use some package with one of these Curry systems but a different set of base libraries, one can put a dependency to a specific version of base libraries in this package.

If a package has a dependency to this base package, this dependency will ignored by CPM if the Curry system actually used has the same set of base libraries, i.e., has the same version. One can show the version of the base libraries of PAKCS or KiCS2 by the command

> pakcs --base-version

or

> kics2 --base-version

Download

Checkout with CPM:
cypm checkout base 1.0.0
Package source:
base-1.0.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/base.git