[ Source: dh-coq ]
Package: debian-coq-tools (0.5)
Links for debian-coq-tools
Debian Resources:
Download Source Package dh-coq:
Maintainers:
Similar packages:
Diverse værktøjer til at håndtere Coq-relaterede Debianpakker
Disse værktøjer gør det nemmere at registrere pakkeafhængigheder og muligvis nedbrud samt vedligeholde hele Coq-in-Debian-stakken fornuftigt:
- coq-planif-transition: find ud af hvilke pakker der afhænger af nogle andre for planlægning af overgang - coq-wanna-build: beregn dak-skriptet for en planlagt overgang
Coq er en bevisassistent for logik i højere orden.
Other Packages Related to debian-coq-tools
|
|
|
|
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
Download debian-coq-tools
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 6.1 kB | 26.0 kB | [list of files] |