why binary package in Ubuntu Xenial amd64
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 amd64 | release | universe | math | Optional | 2.34-4ubuntu4 | ||
|
|||||||||
Deleted | Ubuntu Xenial amd64 | proposed | universe | math | Optional | 2.34-4ubuntu4 | |||
|
|||||||||
2016-02-23 17:29:56 UTC | Superseded | Ubuntu Xenial amd64 | proposed | universe | math | Optional | 2.34-4ubuntu3 | ||
|
|||||||||
2016-02-23 18:25:13 UTC | Superseded | Ubuntu Xenial amd64 | release | universe | math | Optional | 2.34-4ubuntu1 | ||
|
|||||||||
2016-02-25 00:10:14 UTC | Deleted | Ubuntu Xenial amd64 | proposed | universe | math | Optional | 2.34-4ubuntu1 | ||
|
|||||||||
2015-11-13 12:20:14 UTC | Superseded | Ubuntu Xenial amd64 | release | universe | math | Optional | 2.34-2ubuntu3 | ||
|