[ Bron: dh-coq ]
Pakket: dh-coq (0.8)
Verwijzigingen voor dh-coq
Debian bronnen:
Het bronpakket dh-coq downloaden:
Beheerders:
Vergelijkbare pakketten:
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.
Andere aan dh-coq gerelateerde pakketten
|
|
|
|
-
- rec: debhelper
- helper programs for debian/rules