why3-coq binary package in Ubuntu Bionic ppc64el
This package contains the compiled coq files that are necessary to
use the coq proof assistant together with the why3 deductive
verification platform, as well as the why3 tactic for coq.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2018-04-07 05:48:55 UTC | Published | Ubuntu Bionic ppc64el | release | universe | math | Optional | 0.88.3-1ubuntu4 | ||
|
|||||||||
2018-04-07 02:19:41 UTC | Superseded | Ubuntu Bionic ppc64el | proposed | universe | math | Optional | 0.88.3-1ubuntu3 | ||
|
|||||||||
Deleted | Ubuntu Bionic ppc64el | proposed | universe | math | Optional | 0.88.3-1ubuntu4 | |||
|
|||||||||
2018-04-07 02:19:41 UTC | Superseded | Ubuntu Bionic ppc64el | proposed | universe | math | Optional | 0.88.3-1ubuntu2 | ||
|
|||||||||
2018-03-23 07:15:12 UTC | Superseded | Ubuntu Bionic ppc64el | proposed | universe | math | Optional | 0.88.3-1ubuntu1 | ||
|
|||||||||
2018-01-30 10:36:14 UTC | Superseded | Ubuntu Bionic ppc64el | proposed | universe | math | Optional | 0.88.2-1ubuntu1 | ||
|
|||||||||
2018-04-07 05:49:10 UTC | Superseded | Ubuntu Bionic ppc64el | release | universe | math | Optional | 0.87.3-2ubuntu4 | ||
|
|||||||||
2018-04-08 06:10:12 UTC | Deleted | Ubuntu Bionic ppc64el | proposed | universe | math | Optional | 0.87.3-2ubuntu4 | ||
|
|||||||||
2017-11-05 02:27:33 UTC | Superseded | Ubuntu Bionic ppc64el | release | universe | math | Optional | 0.87.3-2ubuntu3 | ||
|