[ Источник: dh-coq ]
Пакет: dh-coq (0.8)
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
- вспомогательные программы для debian/rules
Загрузка dh-coq
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 6,5 Кб | 25,0 Кб | [список файлов] |