[ Källkod: dh-coq ]
Paket: dh-coq (0.8)
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.
Andra paket besläktade med dh-coq
|
|
|
|
-
- rec: debhelper
- helper programs for debian/rules
Hämta dh-coq
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 6,5 kbyte | 25,0 kbyte | [filförteckning] |