[ Pakiet źródłowy: dh-coq ]
Pakiet: debian-coq-tools (0.8)
Odnośniki dla debian-coq-tools
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego dh-coq:
Opiekunowie:
Podobne pakiety:
various tools to manage Coq-related Debian packages
Those tools make it easier to track package dependencies and possible breakage and maintain the whole Coq-in-Debian stack sane: - coq-planif-transition: find out which packages depend on some others for transition planification. - coq-wanna-build: compute the dak script for a planned transition.
Coq is a proof assistant for higher-order logic.
Inne pakiety związane z debian-coq-tools
|
|
|
|
-
- dep: python3
- Interaktywny, wysokopoziomowy i obiektowy język programowania (domyślna wersja Python 3)
Pobieranie debian-coq-tools
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 7,2 KiB | 29,0 KiB | [lista plików] |