dh-coq 0.5 source package in Ubuntu
Changelog
dh-coq (0.5) unstable; urgency=medium * Add dep on python3 for the d-debian-coq-tools. -- Julien Puydt <email address hidden> Tue, 18 Oct 2022 06:52:11 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Lunar | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| dh-coq_0.5.dsc | 1.6 KiB | 15fc6e957ca840fe78a161bd125fa12f56a104a5e447ef93f59a256b72766024 |
| dh-coq_0.5.tar.xz | 7.4 KiB | c1299f565a91f17c2bbfbc372ac88424b7d309fbae94de966da1dce989ebcf88 |
Available diffs
- diff from 0.3 to 0.5 (5.4 KiB)
No changes file available.
Binary packages built by this source
- debian-coq-tools: 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.
- dh-coq: 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.
