Source Package: curry-tools (3.3.0-2)
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]
Наступні двійкові пакунки побудовано з цього джерельного пакунка:
- curry-tools-source
- Tools that are used by different Curry systems, like PAKCS or KiCS2
Інші пакунки пов'язані з 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