libwhy3-ocaml-dev binary package in Ubuntu Mantic amd64
This package contains the libraries of the why3 verification platform
for developing applications using why3.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-09-11 16:09:11 UTC | Published | Ubuntu Mantic amd64 | release | universe | ocaml | Optional | 1.6.0-1 | ||
|
|||||||||
Deleted | Ubuntu Mantic amd64 | proposed | universe | ocaml | Optional | 1.6.0-1 | |||
|
|||||||||
2023-09-11 16:09:19 UTC | Superseded | Ubuntu Mantic amd64 | release | universe | ocaml | Optional | 1.5.1-1build6 | ||
|
|||||||||
2023-09-12 18:10:11 UTC | Deleted | Ubuntu Mantic amd64 | proposed | universe | ocaml | Optional | 1.5.1-1build6 | ||
|
|||||||||
2023-08-30 10:16:08 UTC | Superseded | Ubuntu Mantic amd64 | release | universe | ocaml | Optional | 1.5.1-1build5 | ||
|
|||||||||
2023-08-31 12:10:10 UTC | Deleted | Ubuntu Mantic amd64 | proposed | universe | ocaml | Optional | 1.5.1-1build5 | ||
|
|||||||||
2023-07-28 05:30:35 UTC | Superseded | Ubuntu Mantic amd64 | proposed | universe | ocaml | Optional | 1.5.1-1build4 | ||
|
|||||||||
2023-07-31 08:41:13 UTC | Superseded | Ubuntu Mantic amd64 | release | universe | ocaml | Optional | 1.5.1-1build3 | ||
|