dh-coq
debhelper tool for Coq-related Debian packages
Command lineDevelopment
Not tested on a device yet. What that means
Commands in the package
dh_coq
About dh-coq
From Debian's package description
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.
From Debian's description of the dh-coq package, under that package's license.
Dependencies
Recommends
Related apps
- debian-coq-toolsvarious tools to manage Coq-related Debian packagesCommand line
Proof GeneralOrganise your proofs!- dh-lispDebhelper to support Common Lisp related packagesCommand line
- CoqIDE Proof AssistantGraphical interface for the Coq proof assistant
- coqprime-toolsPrimality certification for Coq (tools)Command line
- coq-dpdgraph-toolsCoq plugin to extract dependencies between Coq objects (tools)Command line
Sources and licenses
- Name: the Debian package name.
- Summary: Debian's short description of the dh-coq package, under that package's license.
- Description: Debian's description of the dh-coq package, under that package's license.
- Versions and sizes: Debian's archive for ARM64, as on packages.debian.org.
- Popularity: Debian Popularity Contest counts.
More in About the catalog.