[ Източник: dh-coq ]
Пакет: dh-coq (0.8)
Връзки за dh-coq
Ресурси за Debian:
Изтегляне на пакет-източник 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
|
|
|
|
-
- rec: debhelper
- helper programs for debian/rules
Изтегляне на dh-coq
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 6,5 кБ | 25,0 кБ | [списък на файловете] |