[  etiona  ] [  nabia  ] [  aramo  ]

Liens pour curry-tools

Ressources Trisquel :

• Rapports de bogues
• Changelog
• Fichier de licence
• Dépôt de source Debian (Git)

Responsable :

• Debian Curry Maintainers (Archive du courrier électronique)

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

build-depends

build-depends-indep

• 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

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