why3-doc-pdf binary package in Ubuntu Bionic amd64
This package contains the tutorial and reference manual of the
why3 verification platform in PDF format.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2018-04-07 05:48:55 UTC | Published | Ubuntu Bionic amd64 | release | universe | math | Optional | 0.88.3-1ubuntu4 | ||
|
|||||||||
2018-04-07 02:19:41 UTC | Superseded | Ubuntu Bionic amd64 | proposed | universe | math | Optional | 0.88.3-1ubuntu3 | ||
|
|||||||||
Deleted | Ubuntu Bionic amd64 | proposed | universe | math | Optional | 0.88.3-1ubuntu4 | |||
|
|||||||||
2018-04-07 02:19:41 UTC | Superseded | Ubuntu Bionic amd64 | proposed | universe | math | Optional | 0.88.3-1ubuntu2 | ||
|
|||||||||
2018-03-23 07:15:12 UTC | Superseded | Ubuntu Bionic amd64 | proposed | universe | math | Optional | 0.88.3-1ubuntu1 | ||
|
|||||||||
2018-01-30 10:36:14 UTC | Superseded | Ubuntu Bionic amd64 | proposed | universe | math | Optional | 0.88.2-1ubuntu1 | ||
|
|||||||||
2018-04-07 05:49:10 UTC | Superseded | Ubuntu Bionic amd64 | release | universe | math | Optional | 0.87.3-2ubuntu4 | ||
|
|||||||||
2018-04-08 06:10:12 UTC | Deleted | Ubuntu Bionic amd64 | proposed | universe | math | Optional | 0.87.3-2ubuntu4 | ||
|
|||||||||
2017-11-05 02:27:33 UTC | Superseded | Ubuntu Bionic amd64 | release | universe | math | Optional | 0.87.3-2ubuntu3 | ||
|