Paket: dh-coq (0.5)

[ Källkod: 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.

Andra paket besläktade med dh-coq

• rec: debhelper

  helper programs for debian/rules

Hämta dh-coq

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
all	7,3 kbyte	26,0 kbyte	[filförteckning]