libwhy3-ocaml-dev binary package in Ubuntu Focal arm64
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 | ||
---|---|---|---|---|---|---|---|---|---|
2020-04-01 07:23:14 UTC | Published | Ubuntu Focal arm64 | release | universe | ocaml | Optional | 1.2.1-6 | ||
|
|||||||||
Deleted | Ubuntu Focal arm64 | proposed | universe | ocaml | Optional | 1.2.1-6 | |||
|
|||||||||
2020-04-01 07:23:23 UTC | Superseded | Ubuntu Focal arm64 | release | universe | ocaml | Optional | 1.2.1-3 | ||
|
|||||||||
2020-04-02 12:10:08 UTC | Deleted | Ubuntu Focal arm64 | proposed | universe | ocaml | Optional | 1.2.1-3 | ||
|
|||||||||
2020-02-24 21:38:22 UTC | Superseded | Ubuntu Focal arm64 | proposed | universe | ocaml | Optional | 1.2.1-2ubuntu1 | ||
|
|||||||||
2020-02-28 03:50:39 UTC | Superseded | Ubuntu Focal arm64 | release | universe | ocaml | Optional | 1.2.1-1ubuntu1 | ||
|
|||||||||
2020-02-29 06:10:10 UTC | Deleted | Ubuntu Focal arm64 | proposed | universe | ocaml | Optional | 1.2.1-1ubuntu1 | ||
|
|||||||||
2019-10-31 13:18:33 UTC | Superseded | Ubuntu Focal arm64 | release | universe | ocaml | Optional | 1.2.0-3ubuntu1 | ||
|