Ubuntu

why3 binary package in Ubuntu Disco arm64

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2019-07-26 00:10:09 UTC	Deleted	Ubuntu Disco arm64	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:43:20 UTC	Superseded	Ubuntu Disco arm64	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 arm64 build of why3 1.2.0-1 in ubuntu disco PROPOSED Published on 2019-02-07
	2019-02-07 19:10:51 UTC	Superseded	Ubuntu Disco arm64	proposed	universe	math	Optional	1.1.1-2
Removed from disk on 2019-02-09. Removal requested on 2019-02-08. Superseded on 2019-02-07 by arm64 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 arm64	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 arm64 build of why3 1.1.1-2 in ubuntu disco PROPOSED Published on 2018-12-18
	2018-12-18 18:03:39 UTC	Superseded	Ubuntu Disco arm64	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 arm64 build of why3 1.1.1-1 in ubuntu disco PROPOSED Published on 2018-11-25
	2018-11-25 15:43:19 UTC	Superseded	Ubuntu Disco arm64	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 arm64 build of why3 1.1.0-1build1 in ubuntu disco PROPOSED Published on 2018-11-09
	2018-11-09 23:41:15 UTC	Superseded	Ubuntu Disco arm64	proposed	universe	math	Optional	1.0.0-2.1~build1
Removed from disk on 2018-11-11. Removal requested on 2018-11-10. Superseded on 2018-11-09 by arm64 build of why3 1.1.0-1 in ubuntu disco PROPOSED Published on 2018-10-30 Copied from ubuntu cosmic-proposed arm64 in Primary Archive for Ubuntu
	2020-07-14 06:39:25 UTC	Obsolete	Ubuntu Disco arm64	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 arm64 in Primary Archive for Ubuntu