[ jammy ]
[ Paquet source : curry-tools ]
Paquet : curry-tools-source (3.3.0-2) [universe]
Liens pour curry-tools-source
Ressources Ubuntu :
Télécharger le paquet source curry-tools :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Curry Maintainers (Archive du courrier électronique)
- Mike Gabriel
- Michael Hanus
It should generally not be necessary for users to contact the original maintainer.
Ressources externes :
- Page d'accueil [git.ps.informatik.uni-kiel.de]
Paquets similaires :
Tools that are used by different Curry systems, like PAKCS or KiCS2
Télécharger curry-tools-source
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 315,5 ko | 323,0 ko | [liste des fichiers] |