1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
Source: curry-libs
Section: devel
Priority: optional
Build-Depends:
cdbs,
debhelper (>= 10~),
tar (>= 1.28),
Maintainer: Debian Curry Maintainers <pkg-curry-maintainers@lists.alioth.debian.org>
Uploaders:
Mike Gabriel <sunweaver@debian.org>,
Michael Hanus <mh@informatik.uni-kiel.de>,
Rules-Requires-Root: no
Standards-Version: 4.5.1
Homepage: https://git.ps.informatik.uni-kiel.de/curry/curry-libs
Vcs-Browser: https://salsa.debian.org/pkg-curry-team/curry-libs
Vcs-Git: https://salsa.debian.org/pkg-curry-team/curry-libs.git
Package: curry-libs-source
Architecture: all
Depends:
${misc:Depends},
Breaks: pakcs (<< 2.2.0~),
Description: Standard libraries of the Curry distributions PAKCS and KiCS2 (source files)
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-source and curry-tools-source.
.
This package provides the source files of the curry-libs.
|
