[ bianca ]

[ Източник: dh-coq ]

Пакет: dh-coq (0.14)

Връзки за dh-coq

Изтегляне на пакет-източник 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.

Други пакети, свързани с dh-coq

зависимости

препоръчани

предложени

enhances

rec: debhelper

helper programs for debian/rules

Изтегляне на dh-coq

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	6,8 кБ	25,0 кБ	[списък на файловете]