Ubuntu

why3-doc-html binary package in Ubuntu Groovy amd64

Groovy (20.10)
amd64
why3-doc-html

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2021-12-22 19:51:25 UTC	Obsolete	Ubuntu Groovy amd64	release	universe	math	Optional	1.3.3-1build1
Removed from disk on 2021-12-23. Removal requested on 2021-12-22. Published on 2020-10-06 Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
	2021-12-23 00:10:07 UTC	Deleted	Ubuntu Groovy amd64	proposed	universe	math	Optional	1.3.3-1build1
Removed from disk on 2021-12-23. Removal requested on 2020-10-06. Deleted on 2020-10-06 by Ubuntu Archive Robot moved to Release Published on 2020-10-05
	2020-10-06 08:48:52 UTC	Superseded	Ubuntu Groovy amd64	release	universe	math	Optional	1.3.3-1
Removed from disk on 2020-10-07. Removal requested on 2020-10-07. Superseded on 2020-10-06 by amd64 build of why3 1.3.3-1build1 in ubuntu groovy PROPOSED Published on 2020-09-30 Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
	2020-10-07 12:10:09 UTC	Deleted	Ubuntu Groovy amd64	proposed	universe	math	Optional	1.3.3-1
Removed from disk on 2020-10-07. Removal requested on 2020-09-30. Deleted on 2020-09-30 by Ubuntu Archive Robot moved to Release Published on 2020-09-24
	2020-09-24 21:08:57 UTC	Superseded	Ubuntu Groovy amd64	proposed	universe	math	Optional	1.3.2-1build1
Removed from disk on 2020-09-26. Removal requested on 2020-09-25. Superseded on 2020-09-24 by amd64 build of why3 1.3.3-1 in ubuntu groovy PROPOSED Published on 2020-09-15
	2020-09-15 13:52:00 UTC	Superseded	Ubuntu Groovy amd64	proposed	universe	math	Optional	1.3.2-1
Removed from disk on 2020-09-16. Removal requested on 2020-09-16. Superseded on 2020-09-15 by amd64 build of why3 1.3.2-1build1 in ubuntu groovy PROPOSED Published on 2020-09-15
	2020-09-30 01:19:05 UTC	Superseded	Ubuntu Groovy amd64	release	universe	math	Optional	1.3.1-3build1
Removed from disk on 2020-10-01. Removal requested on 2020-10-01. Superseded on 2020-09-30 by amd64 build of why3 1.3.3-1 in ubuntu groovy PROPOSED Published on 2020-09-02 Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
	2020-10-01 06:10:09 UTC	Deleted	Ubuntu Groovy amd64	proposed	universe	math	Optional	1.3.1-3build1
Removed from disk on 2020-10-01. Removal requested on 2020-09-02. Deleted on 2020-09-02 by Ubuntu Archive Robot moved to Release Published on 2020-08-23
	2020-09-02 18:34:45 UTC	Superseded	Ubuntu Groovy amd64	release	universe	math	Optional	1.3.1-3
Removed from disk on 2020-09-04. Removal requested on 2020-09-03. Superseded on 2020-09-02 by amd64 build of why3 1.3.1-3build1 in ubuntu groovy PROPOSED Published on 2020-08-20 Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
	2020-09-04 00:10:15 UTC	Deleted	Ubuntu Groovy amd64	proposed	universe	math	Optional	1.3.1-3
Removed from disk on 2020-09-04. Removal requested on 2020-08-20. Deleted on 2020-08-20 by Ubuntu Archive Robot moved to Release Published on 2020-08-20
	2020-08-20 12:43:58 UTC	Superseded	Ubuntu Groovy amd64	release	universe	math	Optional	1.3.1-2
Removed from disk on 2020-08-21. Removal requested on 2020-08-21. Superseded on 2020-08-20 by amd64 build of why3 1.3.1-3 in ubuntu groovy PROPOSED Published on 2020-05-13 Copied from ubuntu groovy-proposed amd64 in Primary Archive for Ubuntu
	2020-08-21 18:10:10 UTC	Deleted	Ubuntu Groovy amd64	proposed	universe	math	Optional	1.3.1-2
Removed from disk on 2020-08-21. Removal requested on 2020-05-13. Deleted on 2020-05-13 by Ubuntu Archive Robot moved to Release Published on 2020-05-13
	2020-05-13 16:59:14 UTC	Superseded	Ubuntu Groovy amd64	release	universe	math	Optional	1.2.1-6
Removal requested on 2020-05-14. Superseded on 2020-05-13 by amd64 build of why3 1.3.1-2 in ubuntu groovy PROPOSED Published on 2020-04-24 Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu