[ Source: 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
- helper programs for debian/rules
Завантажити dh-coq
| Архітектура | Розмір пакунка | Розмір після встановлення | Файли |
|---|---|---|---|
| all | 6.5 kB | 25.0 kB | [список файлів] |