Binary package “debian-coq-tools” in ubuntu mantic
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-
others for transition planification.
- coq-wanna-build: compute the dak script for a planned transition.
.
Coq is a proof assistant for higher-order logic.
Source package
Published versions
- debian-coq-tools 0.5 in amd64 (Release)
- debian-coq-tools 0.6 in amd64 (Proposed)
- debian-coq-tools 0.6 in amd64 (Release)
- debian-coq-tools 0.5 in arm64 (Release)
- debian-coq-tools 0.6 in arm64 (Proposed)
- debian-coq-tools 0.6 in arm64 (Release)
- debian-coq-tools 0.5 in armhf (Release)
- debian-coq-tools 0.6 in armhf (Proposed)
- debian-coq-tools 0.6 in armhf (Release)
- debian-coq-tools 0.5 in i386 (Release)
- debian-coq-tools 0.6 in i386 (Proposed)
- debian-coq-tools 0.6 in i386 (Release)
- debian-coq-tools 0.5 in ppc64el (Release)
- debian-coq-tools 0.6 in ppc64el (Proposed)
- debian-coq-tools 0.6 in ppc64el (Release)
- debian-coq-tools 0.5 in riscv64 (Release)
- debian-coq-tools 0.6 in riscv64 (Proposed)
- debian-coq-tools 0.6 in riscv64 (Release)
- debian-coq-tools 0.5 in s390x (Release)
- debian-coq-tools 0.6 in s390x (Proposed)
- debian-coq-tools 0.6 in s390x (Release)