all options
bookworm  ] [  sid  ]
[ Source: dh-coq  ]

Package: dh-coq (0.5)

Links for dh-coq


Debian Resources:

Download Source Package dh-coq:


Similar packages:

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.

Other Packages Related to dh-coq

  • depends
  • recommends
  • suggests
  • enhances

Download dh-coq

Download for all available architectures
Architecture Package Size Installed Size Files
all 7.3 kB26.0 kB [list of files]