why binary package in Ubuntu Xenial s390x
Why aims at being a verification conditions generator (VCG) back-end
for other verification tools. It provides a powerful input language
including higher-order functions, polymorphism, references, arrays and
exceptions. It generates proof obligations for many systems: the proof
assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2016-02-23 18:23:47 UTC | Published | Ubuntu Xenial s390x | release | universe | math | Optional | 2.34-4ubuntu4 | ||
|
|||||||||
Deleted | Ubuntu Xenial s390x | proposed | universe | math | Optional | 2.34-4ubuntu4 | |||
|
|||||||||
2016-02-23 17:29:56 UTC | Superseded | Ubuntu Xenial s390x | proposed | universe | math | Optional | 2.34-4ubuntu3 | ||
|
|||||||||
2016-02-23 18:25:13 UTC | Superseded | Ubuntu Xenial s390x | release | universe | math | Optional | 2.34-4ubuntu1 | ||
|