Package: dh-coq (0.5)

[ 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

  programas de auxílio para debian/rules

Download dh-coq

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	7.3 kB	26.0 kB	[list of files]