Uploaded at Feb 22 14:54:33 2021
Succesfully tested at Mar 7 06:24:02 2021

Curry Package base

Curry Base Libraries

This repository contains the standard libraries of Curry distributions like PAKCS or KiCS2.

The libraries in this package can be used in these Curry systems without the use of the Curry Package Manager. Since the structure of this base repository is similar to other Curry packages, the dependency on this package can be specified in other Curry packages. This is reasonable to specify the dependency on base libraries in a Curry package.

Technical note: The file VERSION must contain the version number of this package as specified in the version field of package.json. This file is used during the build process of Curry systems, like PAKCS or KICS2, in order to avoid reading and parsing the JSON file.


Download

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