[ Source: dh-coq ]
Package: dh-coq (0.11)
Debhelper-værktøj til Coq-relaterede Debianpakker
Dh-coq er et værktøj til at hjælpe med at vedligeholde Coq-relaterede Debianpakker. Den beregner kontrolsummer for at stramme afhængigheder mellem dem.
Coq er en bevisassistent for logik i højere orden.
Other Packages Related to dh-coq
|
|
|
|
-
- rec: debhelper
- Hjælpeprogrammer for debian/rules
Download dh-coq
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 6.6 kB | 25.0 kB | [list of files] |