README.md 766 Bytes
Newer Older
Michael Hanus 's avatar
Michael Hanus committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
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