[ bookworm ] [ trixie ] [ sid ]

[ Källkod: dh-coq ]

Paket: dh-coq (0.13)

Länkar för dh-coq

Debianresurser:

Hämta källkodspaketet dh-coq:

Ansvariga:

Liknande paket:

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

beror

rekommenderar

föreslår

enhances

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	6,8 kbyte	25,0 kbyte	[filförteckning]