[ Source: dh-coq ]
Paketti: dh-coq (0.5)
Links for dh-coq
Debian-palvelut:
Imuroi lähdekoodipaketti dh-coq:
Ylläpitäjät:
Samankaltaisia paketteja:
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.
Muut pakettiin dh-coq liittyvät paketit
|
|
|
|
-
- rec: debhelper
- helper programs for debian/rules
Imuroi dh-coq
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| all | 7.3 kt | 26.0 kt | [tiedostoluettelo] |