Source Package: curry-tools (2.2.0-1)
Links for curry-tools
Trisquel Resources:
Maintainer:
Original Maintainers:
- Debian Curry Maintainers
(Mail Archive)
- Mike Gabriel
- Michael Hanus
External Resources:
- Homepage [git.ps.informatik.uni-kiel.de]
The following binary packages are built from this source package:
- curry-tools-source
- Tools that are used by different Curry systems, like PAKCS or KiCS2
Other Packages Related to curry-tools
-
- adep:
cdbs
- common build system for Debian packages
-
- adep:
debhelper
(>= 10~)
- helper programs for debian/rules
-
- adep:
tar
(>= 1.28)
- GNU version of the tar archiving utility