[ Paquet source : dh-coq ]
Paquet : dh-coq (0.8)
Liens pour dh-coq
Ressources Debian :
Télécharger le paquet source dh-coq :
Responsables :
Paquets similaires :
debhelper tool for Coq-related Debian packages
dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.
Coq is a proof assistant for higher-order logic.
Autres paquets associés à dh-coq
|
|
|
|
-
- rec: debhelper
- programmes assistants pour debian/rules
Télécharger dh-coq
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 6,5 ko | 25,0 ko | [liste des fichiers] |