dh-coq 0.8 (ppc64el binary) in ubuntu noble
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.
Details
- Package version:
- 0.8
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of dh-coq 0.8 in ubuntu noble PROPOSED produced
these files:
- dh-coq_0.8_all.deb (6.6 KiB)