dh-coq binary package in Ubuntu Noble ppc64el
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2024-02-01 13:35:09 UTC | Published | Ubuntu Noble ppc64el | release | universe | ocaml | Optional | 0.8 | ||
|
|||||||||
Deleted | Ubuntu Noble ppc64el | proposed | universe | ocaml | Optional | 0.8 | |||
|
|||||||||
2024-02-01 13:41:45 UTC | Superseded | Ubuntu Noble ppc64el | release | universe | ocaml | Optional | 0.7 | ||
|
|||||||||
2024-02-02 18:10:16 UTC | Deleted | Ubuntu Noble ppc64el | proposed | universe | ocaml | Optional | 0.7 | ||
|
|||||||||
2024-01-25 13:20:59 UTC | Superseded | Ubuntu Noble ppc64el | release | universe | ocaml | Optional | 0.6 | ||
|