» Ubuntu » Paquets » jammy (22.04LTS) » devel » curry-tools-source
jammy  ]
[ Paquet source : curry-tools  ]

Paquet : curry-tools-source (3.3.0-2) [universe]

Liens pour curry-tools-source

Screenshot

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):

It should generally not be necessary for users to contact the original maintainer.

Ressources externes :

Paquets similaires :

Tools that are used by different Curry systems, like PAKCS or KiCS2

Télécharger curry-tools-source

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 315,5 ko323,0 ko [liste des fichiers]