[ Paquet source : dh-coq ]
Paquet : debian-coq-tools (0.5)
Liens pour debian-coq-tools
Ressources Debian :
Télécharger le paquet source dh-coq :
Responsables :
Paquets similaires :
various tools to manage Coq-related Debian packages
Those tools make it easier to track package dependencies and possible breakage and maintain the whole Coq-in-Debian stack sane: - coq-planif-transition: find out which packages depend on some others for transition planification. - coq-wanna-build: compute the dak script for a planned transition.
Coq is a proof assistant for higher-order logic.
Autres paquets associés à debian-coq-tools
|
|
|
|
-
- dep: python3
- langage orienté objet interactif de haut niveau – version par défaut de Python 3
Télécharger debian-coq-tools
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 6,1 ko | 26,0 ko | [liste des fichiers] |