Paquet source : curry-tools (2.0.1-1)
Liens pour curry-tools
Ressources Trisquel :
Responsable :
Original Maintainers:
- Debian Curry Maintainers (Archive du courrier électronique)
- Mike Gabriel
- Michael Hanus
Ressources externes :
- Page d'accueil [git.ps.informatik.uni-kiel.de]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- curry-tools-source
- Tools that are used by different Curry systems, like PAKCS or KiCS2
Autres paquets associés à curry-tools
|
|
Download curry-tools
Fichier | Taille (en ko) | Somme MD5 |
---|---|---|
curry-tools_2.0.1-1.dsc | 2,0 ko | 76c6edd7665f9bbfc8f787293e64c638 |
curry-tools_2.0.1.orig.tar.gz | 415,1 ko | 9c9e59a605677ca6751e40c4c0c580e8 |
curry-tools_2.0.1-1.debian.tar.xz | 3,4 ko | 01f3f6458bc51f146ccbfb62180ef7fd |
- Dépôt Debian des paquets source (VCS: Git)
- https://anonscm.debian.org/git/pkg-curry/curry-tools.git
- Dépôt Debian des paquets source (interface web)
- https://anonscm.debian.org/git/pkg-curry/curry-tools.git