Binary package “debian-coq-tools” in ubuntu noble
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.6 in amd64 (Release)
- debian-coq-tools 0.8 in amd64 (Proposed)
- debian-coq-tools 0.8 in amd64 (Release)
- debian-coq-tools 0.6 in arm64 (Release)
- debian-coq-tools 0.8 in arm64 (Proposed)
- debian-coq-tools 0.8 in arm64 (Release)
- debian-coq-tools 0.6 in armhf (Release)
- debian-coq-tools 0.8 in armhf (Proposed)
- debian-coq-tools 0.8 in armhf (Release)
- debian-coq-tools 0.6 in i386 (Release)
- debian-coq-tools 0.8 in i386 (Proposed)
- debian-coq-tools 0.8 in i386 (Release)
- debian-coq-tools 0.6 in ppc64el (Release)
- debian-coq-tools 0.8 in ppc64el (Proposed)
- debian-coq-tools 0.8 in ppc64el (Release)
- debian-coq-tools 0.6 in riscv64 (Release)
- debian-coq-tools 0.8 in riscv64 (Proposed)
- debian-coq-tools 0.8 in riscv64 (Release)
- debian-coq-tools 0.6 in s390x (Release)
- debian-coq-tools 0.8 in s390x (Proposed)
- debian-coq-tools 0.8 in s390x (Release)