Bug#840537: ITP: curry-libs -- Standard libraries of the Curry distributions PAKCS and KiCS2

[Mike Gabriel <mike.gabriel@das-netzwerkteam.de>]

Package: wnpp
Severity: wishlist
Owner: Mike Gabriel <mike.gabriel@das-netzwerkteam.de>

* Package name    : curry-libs
  Version         : 1.0.0
  Upstream Author : Michael Hanus <mh@informatik.uni-kiel.de>
* URL             : https://git.ps.informatik.uni-kiel.de/curry/curry-libs
* License         : BSD-3-clause
  Programming Lang: Curry
  Description     : Standard libraries of the Curry distributions PAKCS and 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-libs and curry-tools at build time.

 The curry-libs binary package will be named curry-libs-source and it
 will provide the Curry source code required for building PAKCS (or
 KICS2).

 This package will be maintained in Debian as part of my work at Kiel
 University, Germany.