[ Pakiet źródłowy: dh-coq ]
Pakiet: dh-coq (0.5)
Odnośniki dla dh-coq
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:
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.
Inne pakiety związane z dh-coq
|
|
|
|
-
- rec: debhelper
- Programy pomocnicze do debian/rules
Pobieranie dh-coq
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| all | 7,3 KiB | 26,0 KiB | [lista plików] |