[ Paquet source : dh-coq ]
Paquet : dh-coq (0.14) [universe]
Liens pour dh-coq
Ressources Ubuntu :
Télécharger le paquet source dh-coq :
Responsable :
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Archive du courrier électronique)
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
Paquets similaires :
debhelper tool for Coq-related Debian packages
Autres paquets associés à dh-coq
|
|
|
|
-
- rec: debhelper
- helper programs for debian/rules
Télécharger dh-coq
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 6,7 ko | 25,0 ko | [liste des fichiers] |