dh-coq 0.5 (arm64 binary) in ubuntu lunar
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.5
- Status:
- Published
- Component:
- universe
- Priority:
- Optional
Downloadable files
amd64 build of dh-coq 0.5 in ubuntu lunar PROPOSED produced
these files:
- dh-coq_0.5_all.deb (7.2 KiB)