libwhy-coq binary package in Ubuntu Bionic ppc64el
This package contains all useful logical definitions, lemmas with their
proofs and axioms used by Why. Users may need this package when proving
some proof obligations in Coq.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2018-02-02 03:08:42 UTC | Published | Ubuntu Bionic ppc64el | release | universe | libdevel | Optional | 2.39-2build1 | ||
|
|||||||||
Deleted | Ubuntu Bionic ppc64el | proposed | universe | libdevel | Optional | 2.39-2build1 | |||
|
|||||||||
2017-10-28 19:06:13 UTC | Superseded | Ubuntu Bionic ppc64el | proposed | universe | libdevel | Optional | 2.39-2 | ||
|