a b c d e f g h i j k l m n o p q r s t u v w x y z
Description: 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.
Description: helper tool to maintain Coq-related Debian packages
dh-coq is a tool to help maintain Debian packages related to
the Coq proof assistant for higher-order logic.
.
It computes checksums to tighten dependencies between Coq
theories packages.
--- 294169 Thu Jan 1 00:00:00 1970
+++ 291650 Thu Jan 1 00:00:00 1970
@@ -1,5 +1,6 @@
-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.
+helper tool to maintain Coq-related Debian packages
+ dh-coq is a tool to help maintain Debian packages related to
+ the Coq proof assistant for higher-order logic.
.
- Coq is a proof assistant for higher-order logic.
+ It computes checksums to tighten dependencies between Coq
+ theories packages.