Ubuntu

why3 binary package in Ubuntu Zesty powerpc

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2017-04-06 06:10:11 UTC	Deleted	Ubuntu Zesty powerpc	release	universe	math	Optional	0.87.3-2
Removed from disk on 2017-04-06. Removal requested on 2017-04-06. Deleted on 2017-04-06 by Launchpad Janitor powerpc obsoleted in zesty Published on 2017-01-23 Copied from ubuntu zesty-proposed powerpc in Primary Archive for Ubuntu
	2017-04-06 06:10:11 UTC	Deleted	Ubuntu Zesty powerpc	proposed	universe	math	Optional	0.87.3-2
Removed from disk on 2017-04-06. Removal requested on 2017-01-23. Deleted on 2017-01-23 by Ubuntu Archive Robot moved to release Published on 2017-01-22
	2017-01-22 11:34:07 UTC	Superseded	Ubuntu Zesty powerpc	proposed	universe	math	Optional	0.87.2-3
Removed from disk on 2017-01-23. Removal requested on 2017-01-23. Superseded on 2017-01-22 by powerpc build of why3 0.87.3-2 in ubuntu zesty PROPOSED Published on 2017-01-04
	2017-01-04 05:36:31 UTC	Superseded	Ubuntu Zesty powerpc	proposed	universe	math	Optional	0.87.2-2build1
Removed from disk on 2017-01-05. Removal requested on 2017-01-05. Superseded on 2017-01-04 by powerpc build of why3 0.87.2-3 in ubuntu zesty PROPOSED Published on 2016-12-21
	2016-12-21 20:19:08 UTC	Superseded	Ubuntu Zesty powerpc	proposed	universe	math	Optional	0.87.2-2
Removed from disk on 2016-12-23. Removal requested on 2016-12-22. Superseded on 2016-12-21 by powerpc build of why3 0.87.2-2build1 in ubuntu zesty PROPOSED Published on 2016-11-02
	2017-01-23 22:42:07 UTC	Superseded	Ubuntu Zesty powerpc	release	universe	math	Optional	0.87.1-2build1
Removed from disk on 2018-01-23. Removal requested on 2017-01-24. Superseded on 2017-01-23 by powerpc build of why3 0.87.3-2 in ubuntu zesty PROPOSED Published on 2016-10-18 Copied from ubuntu yakkety-proposed powerpc in Primary Archive for Ubuntu