Commit 218d4d16 authored by Michael Hanus 's avatar Michael Hanus
Browse files

base/1.0.0 added

parent 7f12050c
{
"name": "base",
"version": "1.0.0",
"author": "Michael Hanus <mh@informatik.uni-kiel.de>",
"synopsis": "Base libraries for Curry systems",
"description": "This package contains the base libraries which are directly distributed with specific versions of the Curry systems PAKCS and KiCS2.",
"category": [ "Programming" ],
"compilerCompatibility": {
"kics2": ">= 2.0.0, < 3.0.0",
"pakcs": ">= 2.0.0, < 3.0.0"
},
"license": "BSD-3-Clause",
"licenseFile": "LICENSE",
"dependencies": {
},
"testsuite": {
"src-dir": "src",
"options": "-m100 -dInt",
"modules": [ "Combinatorial", "Nat", "ShowS", "Sort" ]
},
"source": {
"git": "https://git.ps.informatik.uni-kiel.de/curry-packages/base.git",
"tag": "$version"
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment