Balík: dh-coq (0.5)

[ Zdroj: 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.

Ostatné balíky súvisiace s balíkom dh-coq

• rec: debhelper

  pomocné programy pre debian/rules

Stiahnuť dh-coq

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	7.3 kB	26.0 kB	[zoznam súborov]