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