Ubuntu
coq-doc package

Publishing history of coq-doc 8.15.2-3 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2022-11-30 17:39:52 UTC	Superseded	Lunar	release	multiverse	doc	8.15.2-3
Superseded on 2022-11-30 by coq-doc - 8.16.0-2 Published on 2022-10-27 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2023-11-13 12:55:48 UTC	Obsolete	Kinetic	release	multiverse	doc	8.15.2-3
Removal requested on 2023-11-13. Published on 2022-07-14 Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot) Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
		Deleted	Kinetic	proposed	multiverse	doc	8.15.2-3
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 debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)