[ Източник: dh-coq ]
Пакет: debian-coq-tools (0.5)
Връзки за debian-coq-tools
Ресурси за Debian:
Изтегляне на пакет-източник dh-coq.
Отговорници:
Подобни пакети:
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.
Други пакети, свързани с debian-coq-tools
|
|
|
|
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
Изтегляне на debian-coq-tools
| Архитектура | Големина на пакета | Големина след инсталиране | Файлове |
|---|---|---|---|
| all | 6,1 кБ | 26,0 кБ | [списък на файловете] |