Ubuntu

why3 binary package in Ubuntu Disco ppc64el

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2019-07-26 00:10:09 UTC	Deleted	Ubuntu Disco ppc64el	proposed	universe	math	Optional	1.2.0-1
Removed from disk on 2019-07-26. Removal requested on 2019-04-19. Deleted on 2019-04-19 by Adam Conrad moved to eoan-proposed Published on 2019-02-16
	2019-02-16 05:18:32 UTC	Superseded	Ubuntu Disco ppc64el	proposed	universe	math	Optional	1.1.1-4
Removed from disk on 2019-02-17. Removal requested on 2019-02-17. Superseded on 2019-02-16 by ppc64el build of why3 1.2.0-1 in ubuntu disco PROPOSED Published on 2019-02-07
	2019-02-07 17:30:25 UTC	Superseded	Ubuntu Disco ppc64el	proposed	universe	math	Optional	1.1.1-2
Removed from disk on 2019-02-08. Removal requested on 2019-02-08. Superseded on 2019-02-07 by ppc64el build of why3 1.1.1-4 in ubuntu disco PROPOSED Published on 2019-01-11
	2019-01-11 05:28:26 UTC	Superseded	Ubuntu Disco ppc64el	proposed	universe	math	Optional	1.1.1-1
Removed from disk on 2019-01-12. Removal requested on 2019-01-12. Superseded on 2019-01-11 by ppc64el build of why3 1.1.1-2 in ubuntu disco PROPOSED Published on 2018-12-18
	2018-12-18 17:28:41 UTC	Superseded	Ubuntu Disco ppc64el	proposed	universe	math	Optional	1.1.0-1build1
Removed from disk on 2018-12-19. Removal requested on 2018-12-19. Superseded on 2018-12-18 by ppc64el build of why3 1.1.1-1 in ubuntu disco PROPOSED Published on 2018-11-25
	2018-11-25 15:38:17 UTC	Superseded	Ubuntu Disco ppc64el	proposed	universe	math	Optional	1.1.0-1
Removed from disk on 2018-11-26. Removal requested on 2018-11-26. Superseded on 2018-11-25 by ppc64el build of why3 1.1.0-1build1 in ubuntu disco PROPOSED Published on 2018-11-09
	2018-11-09 16:20:26 UTC	Superseded	Ubuntu Disco ppc64el	proposed	universe	math	Optional	1.0.0-2.1~build1
Removed from disk on 2018-11-10. Removal requested on 2018-11-10. Superseded on 2018-11-09 by ppc64el build of why3 1.1.0-1 in ubuntu disco PROPOSED Published on 2018-10-30 Copied from ubuntu cosmic-proposed ppc64el in Primary Archive for Ubuntu
	2020-07-14 06:39:25 UTC	Obsolete	Ubuntu Disco ppc64el	release	universe	math	Optional	0.88.3-3ubuntu1
Removed from disk on 2020-07-14. Removal requested on 2020-07-14. Published on 2018-10-30 Copied from ubuntu cosmic-proposed ppc64el in Primary Archive for Ubuntu