Package: dh-coq (0.11)

[ Source: dh-coq  ]

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

• rec: debhelper

  helper programs for debian/rules

Download dh-coq

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	6.6 kB	25.0 kB	[list of files]