libcoq-simple-io binary package in Ubuntu Mantic ppc64el
This package provides a plugin to implement
Input/Output (IO) programs directly in Coq, in a
style similar to Haskell's.
.
Coq is a proof assistant for higher-order logic.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-07-31 08:38:31 UTC | Published | Ubuntu Mantic ppc64el | release | universe | ocaml | Optional | 1.8.0-3ubuntu2 | ||
|
|||||||||
Deleted | Ubuntu Mantic ppc64el | proposed | universe | ocaml | Optional | 1.8.0-3ubuntu2 | |||
|
|||||||||
2023-07-31 08:41:13 UTC | Superseded | Ubuntu Mantic ppc64el | release | universe | ocaml | Optional | 1.8.0-3ubuntu1 | ||
|
|||||||||
2023-08-01 12:10:09 UTC | Deleted | Ubuntu Mantic ppc64el | proposed | universe | ocaml | Optional | 1.8.0-3ubuntu1 | ||
|
|||||||||
2023-06-13 14:49:08 UTC | Superseded | Ubuntu Mantic ppc64el | proposed | universe | ocaml | Optional | 1.8.0-2ubuntu3 | ||
|
|||||||||
2023-06-25 17:24:49 UTC | Superseded | Ubuntu Mantic ppc64el | release | universe | ocaml | Optional | 1.8.0-2ubuntu2 | ||
|