libwhy-coq binary package in Ubuntu Bionic amd64
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 amd64 | release | universe | libdevel | Optional | 2.39-2build1 | ||
|
|||||||||
Deleted | Ubuntu Bionic amd64 | proposed | universe | libdevel | Optional | 2.39-2build1 | |||
|
|||||||||
2017-10-28 19:06:13 UTC | Superseded | Ubuntu Bionic amd64 | proposed | universe | libdevel | Optional | 2.39-2 | ||
|