Ubuntu

why3 binary package in Ubuntu Eoan i386

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-12-29 14:18:15 UTC	Obsolete	Ubuntu Eoan i386	release	universe	math	Optional	1.2.0-3ubuntu1
Removed from disk on 2020-12-29. Removal requested on 2020-12-29. Published on 2019-10-16 Copied from ubuntu eoan-proposed i386 in Primary Archive for Ubuntu
	2020-12-29 18:10:09 UTC	Deleted	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-3ubuntu1
Removed from disk on 2020-12-29. Removal requested on 2019-10-16. Deleted on 2019-10-16 by Ubuntu Archive Robot moved to Release Published on 2019-10-16
	2019-10-16 10:58:16 UTC	Superseded	Ubuntu Eoan i386	release	universe	math	Optional	1.2.0-2ubuntu1
Removed from disk on 2019-10-17. Removal requested on 2019-10-17. Superseded on 2019-10-16 by i386 build of why3 1.2.0-3ubuntu1 in ubuntu eoan PROPOSED Published on 2019-09-02 Copied from ubuntu eoan-proposed i386 in Primary Archive for Ubuntu
	2019-10-17 12:10:09 UTC	Deleted	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-2ubuntu1
Removed from disk on 2019-10-17. Removal requested on 2019-09-02. Deleted on 2019-09-02 by Ubuntu Archive Robot moved to release Published on 2019-08-30
	2019-08-30 06:43:35 UTC	Superseded	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-1ubuntu4
Removed from disk on 2019-08-31. Removal requested on 2019-08-31. Superseded on 2019-08-30 by i386 build of why3 1.2.0-2ubuntu1 in ubuntu eoan PROPOSED Published on 2019-08-21
	2019-08-21 18:28:32 UTC	Superseded	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-1ubuntu3
Removed from disk on 2019-08-23. Removal requested on 2019-08-22. Superseded on 2019-08-21 by i386 build of why3 1.2.0-1ubuntu4 in ubuntu eoan PROPOSED Published on 2019-08-05
	2019-09-02 20:58:57 UTC	Superseded	Ubuntu Eoan i386	release	universe	math	Optional	1.2.0-1ubuntu2
Removed from disk on 2019-09-04. Removal requested on 2019-09-03. Superseded on 2019-09-02 by i386 build of why3 1.2.0-2ubuntu1 in ubuntu eoan PROPOSED Published on 2019-07-29 Copied from ubuntu eoan-proposed i386 in Primary Archive for Ubuntu
	2019-09-04 00:10:09 UTC	Deleted	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-1ubuntu2
Removed from disk on 2019-09-04. Removal requested on 2019-07-29. Deleted on 2019-07-29 by Ubuntu Archive Robot moved to release Published on 2019-07-27
	2019-07-27 08:28:34 UTC	Superseded	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-1ubuntu1
Removed from disk on 2019-07-28. Removal requested on 2019-07-28. Superseded on 2019-07-27 by i386 build of why3 1.2.0-1ubuntu2 in ubuntu eoan PROPOSED Published on 2019-07-25
	2019-07-25 08:28:18 UTC	Superseded	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-1build1
Removed from disk on 2019-07-26. Removal requested on 2019-07-26. Superseded on 2019-07-25 by i386 build of why3 1.2.0-1ubuntu1 in ubuntu eoan PROPOSED Published on 2019-07-24
	2019-07-24 21:48:24 UTC	Superseded	Ubuntu Eoan i386	proposed	universe	math	Optional	1.2.0-1
Removed from disk on 2019-07-26. Removal requested on 2019-07-25. Superseded on 2019-07-24 by i386 build of why3 1.2.0-1build1 in ubuntu eoan PROPOSED Published on 2019-04-18 Copied from ubuntu disco-proposed i386 in Primary Archive for Ubuntu
	2019-07-29 22:48:41 UTC	Superseded	Ubuntu Eoan i386	release	universe	math	Optional	0.88.3-3ubuntu1
Removed from disk on 2020-07-14. Removal requested on 2019-07-30. Superseded on 2019-07-29 by i386 build of why3 1.2.0-1ubuntu2 in ubuntu eoan PROPOSED Published on 2019-04-18 Copied from ubuntu cosmic-proposed i386 in Primary Archive for Ubuntu