Ubuntu

coq-doc binary package in Ubuntu Kinetic ppc64el

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2023-11-13 12:55:48 UTC	Obsolete	Ubuntu Kinetic ppc64el	release	multiverse	doc	Optional	8.15.2-3
Removed from disk on 2024-01-11. Removal requested on 2023-11-13. Published on 2022-07-14 Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
	2024-01-11 06:10:17 UTC	Deleted	Ubuntu Kinetic ppc64el	proposed	multiverse	doc	Optional	8.15.2-3
Removed from disk on 2024-01-11. Removal requested on 2022-07-14. Deleted on 2022-07-14 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-07-14 Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
	2022-07-14 20:54:52 UTC	Superseded	Ubuntu Kinetic ppc64el	release	multiverse	doc	Optional	8.15.2-2
Removed from disk on 2022-07-16. Removal requested on 2022-07-15. Superseded on 2022-07-14 by amd64 build of coq-doc 8.15.2-3 in ubuntu kinetic PROPOSED Published on 2022-06-16 Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
	2022-07-16 00:10:09 UTC	Deleted	Ubuntu Kinetic ppc64el	proposed	multiverse	doc	Optional	8.15.2-2
Removed from disk on 2022-07-16. Removal requested on 2022-06-16. Deleted on 2022-06-16 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-06-16 Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
	2022-06-16 14:54:28 UTC	Superseded	Ubuntu Kinetic ppc64el	release	multiverse	doc	Optional	8.15.2-1
Removed from disk on 2022-06-17. Removal requested on 2022-06-17. Superseded on 2022-06-16 by amd64 build of coq-doc 8.15.2-2 in ubuntu kinetic PROPOSED Published on 2022-06-16 Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
	2022-06-17 18:10:09 UTC	Deleted	Ubuntu Kinetic ppc64el	proposed	multiverse	doc	Optional	8.15.2-1
Removed from disk on 2022-06-17. Removal requested on 2022-06-16. Deleted on 2022-06-16 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-06-16 Copied from ubuntu kinetic-proposed amd64 in Primary Archive for Ubuntu
	2022-06-16 08:14:34 UTC	Superseded	Ubuntu Kinetic ppc64el	release	multiverse	doc	Optional	8.15.0-3
Removal requested on 2022-06-17. Superseded on 2022-06-16 by amd64 build of coq-doc 8.15.2-1 in ubuntu kinetic PROPOSED Published on 2022-04-26 Copied from ubuntu jammy-proposed amd64 in Primary Archive for Ubuntu