libwhy3-ocaml-dev binary package in Ubuntu Bionic 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 | ||
---|---|---|---|---|---|---|---|---|---|
2018-04-07 05:48:55 UTC | Published | Ubuntu Bionic arm64 | release | universe | ocaml | Optional | 0.88.3-1ubuntu4 | ||
|
|||||||||
2018-04-07 02:19:41 UTC | Superseded | Ubuntu Bionic arm64 | proposed | universe | ocaml | Optional | 0.88.3-1ubuntu3 | ||
|
|||||||||
Deleted | Ubuntu Bionic arm64 | proposed | universe | ocaml | Optional | 0.88.3-1ubuntu4 | |||
|
|||||||||
2018-04-07 02:19:41 UTC | Superseded | Ubuntu Bionic arm64 | proposed | universe | ocaml | Optional | 0.88.3-1ubuntu2 | ||
|
|||||||||
2018-03-23 07:15:12 UTC | Superseded | Ubuntu Bionic arm64 | proposed | universe | ocaml | Optional | 0.88.3-1ubuntu1 | ||
|
|||||||||
2018-01-30 10:36:14 UTC | Superseded | Ubuntu Bionic arm64 | proposed | universe | ocaml | Optional | 0.88.2-1ubuntu1 | ||
|
|||||||||
2018-04-07 05:49:10 UTC | Superseded | Ubuntu Bionic arm64 | release | universe | ocaml | Optional | 0.87.3-2ubuntu4 | ||
|
|||||||||
2018-04-08 06:10:12 UTC | Deleted | Ubuntu Bionic arm64 | proposed | universe | ocaml | Optional | 0.87.3-2ubuntu4 | ||
|