Ubuntu

why3 binary package in Ubuntu Artful s390x

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-07-10 15:03:46 UTC	Obsolete	Ubuntu Artful s390x	release	universe	math	Optional	0.87.3-2ubuntu3
Removed from disk on 2020-07-10. Removal requested on 2020-07-10. Published on 2017-09-19 Copied from ubuntu artful-proposed s390x in Primary Archive for Ubuntu
	2020-07-10 18:10:10 UTC	Deleted	Ubuntu Artful s390x	proposed	universe	math	Optional	0.87.3-2ubuntu3
Removed from disk on 2020-07-10. Removal requested on 2017-09-19. Deleted on 2017-09-18 by Ubuntu Archive Robot moved to release Published on 2017-09-18
	2017-09-19 00:43:24 UTC	Superseded	Ubuntu Artful s390x	release	universe	math	Optional	0.87.3-2ubuntu2
Removed from disk on 2017-09-20. Removal requested on 2017-09-20. Superseded on 2017-09-19 by s390x build of why3 0.87.3-2ubuntu3 in ubuntu artful PROPOSED Published on 2017-09-01 Copied from ubuntu artful-proposed s390x in Primary Archive for Ubuntu
	2017-09-20 06:10:11 UTC	Deleted	Ubuntu Artful s390x	proposed	universe	math	Optional	0.87.3-2ubuntu2
Removed from disk on 2017-09-20. Removal requested on 2017-09-01. Deleted on 2017-09-01 by Ubuntu Archive Robot moved to release Published on 2017-08-30
	2017-09-01 16:04:36 UTC	Superseded	Ubuntu Artful s390x	release	universe	math	Optional	0.87.3-2ubuntu1
Removed from disk on 2017-09-02. Removal requested on 2017-09-02. Superseded on 2017-09-01 by s390x build of why3 0.87.3-2ubuntu2 in ubuntu artful PROPOSED Published on 2017-07-18 Copied from ubuntu artful-release s390x in 2865 - 2017-07-14
	2017-09-02 18:10:11 UTC	Deleted	Ubuntu Artful s390x	proposed	universe	math	Optional	0.87.3-2ubuntu1
Removed from disk on 2017-09-02. Removal requested on 2017-07-18. Deleted on 2017-07-18 by Ubuntu Archive Robot moved to release Published on 2017-07-17 Copied from ubuntu artful-release s390x in 2865 - 2017-07-14
	2017-07-17 10:04:55 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	0.87.3-2build5
Removed from disk on 2017-07-18. Removal requested on 2017-07-18. Superseded on 2017-07-17 by s390x build of why3 0.87.3-2ubuntu1 in ubuntu artful RELEASE Published on 2017-07-16 Copied from ubuntu artful-release s390x in 2865 - 2017-07-14
	2017-07-16 23:24:44 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	0.87.3-2build4
Removed from disk on 2017-07-18. Removal requested on 2017-07-17. Superseded on 2017-07-16 by s390x build of why3 0.87.3-2build5 in ubuntu artful RELEASE Published on 2017-07-16 Copied from ubuntu artful-release s390x in 2865 - 2017-07-14
	2017-07-16 22:33:25 UTC	Superseded	Ubuntu Artful s390x	proposed	universe	math	Optional	0.87.3-2build3
Removed from disk on 2017-07-18. Removal requested on 2017-07-17. Superseded on 2017-07-16 by s390x build of why3 0.87.3-2build4 in ubuntu artful RELEASE Published on 2017-07-14
	2017-07-18 04:38:29 UTC	Superseded	Ubuntu Artful s390x	release	universe	math	Optional	0.87.3-2build1
Removed from disk on 2017-07-19. Removal requested on 2017-07-19. Superseded on 2017-07-18 by s390x build of why3 0.87.3-2ubuntu1 in ubuntu artful RELEASE Published on 2017-06-25 Copied from ubuntu artful-proposed s390x in Primary Archive for Ubuntu
	2017-07-19 06:10:10 UTC	Deleted	Ubuntu Artful s390x	proposed	universe	math	Optional	0.87.3-2build1
Removed from disk on 2017-07-19. Removal requested on 2017-06-25. Deleted on 2017-06-25 by Ubuntu Archive Robot moved to release Published on 2017-06-25
	2017-06-25 11:25:16 UTC	Superseded	Ubuntu Artful s390x	release	universe	math	Optional	0.87.3-2
Removed from disk on 2018-06-22. Removal requested on 2017-06-26. Superseded on 2017-06-25 by s390x build of why3 0.87.3-2build1 in ubuntu artful PROPOSED Published on 2017-04-20 Copied from ubuntu zesty-proposed s390x in Primary Archive for Ubuntu