Ubuntu

why binary package in Ubuntu Xenial i386

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	Pocket	Component	Section	Priority	Version
	2016-02-23 18:23:47 UTC	Published	Ubuntu Xenial i386	release	universe	math	Optional	2.34-4ubuntu4
Published on 2016-02-23 Copied from ubuntu xenial-proposed i386 in Primary Archive for Ubuntu
		Deleted	Ubuntu Xenial i386	proposed	universe	math	Optional	2.34-4ubuntu4
Removal requested on 2016-02-23. Deleted on 2016-02-23 by Ubuntu Archive Robot moved to release Published on 2016-02-23
	2016-02-23 17:29:56 UTC	Superseded	Ubuntu Xenial i386	proposed	universe	math	Optional	2.34-4ubuntu3
Removed from disk on 2016-02-24. Removal requested on 2016-02-24. Superseded on 2016-02-23 by i386 build of why 2.34-4ubuntu4 in ubuntu xenial PROPOSED Published on 2016-02-23
	2016-02-23 18:25:13 UTC	Superseded	Ubuntu Xenial i386	release	universe	math	Optional	2.34-4ubuntu1
Removed from disk on 2016-02-25. Removal requested on 2016-02-24. Superseded on 2016-02-23 by i386 build of why 2.34-4ubuntu4 in ubuntu xenial PROPOSED Published on 2015-11-13 Copied from ubuntu xenial-proposed i386 in Primary Archive for Ubuntu
	2016-02-25 00:10:14 UTC	Deleted	Ubuntu Xenial i386	proposed	universe	math	Optional	2.34-4ubuntu1
Removed from disk on 2016-02-25. Removal requested on 2015-11-13. Deleted on 2015-11-13 by Ubuntu Archive Robot moved to release Published on 2015-11-04
	2015-11-13 12:20:14 UTC	Superseded	Ubuntu Xenial i386	release	universe	math	Optional	2.34-2ubuntu3
Removed from disk on 2018-01-22. Removal requested on 2015-11-14. Superseded on 2015-11-13 by i386 build of why 2.34-4ubuntu1 in ubuntu xenial PROPOSED Published on 2015-10-22 Copied from ubuntu wily-proposed i386 in Primary Archive for Ubuntu

Source package

why package in Ubuntu