Ubuntu
coq-doc package

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

	Date	Status	Target	Pocket	Component	Section	Version
	2022-06-16 08:14:34 UTC	Superseded	Kinetic	release	multiverse	doc	8.15.0-3
Removal requested on 2023-11-13. Superseded on 2022-06-16 by coq-doc - 8.15.2-1 Published on 2022-04-26 Copied from debian sid in Primary Archive for Debian GNU/Linux
	2022-03-17 11:22:41 UTC	Published	Jammy	release	multiverse	doc	8.15.0-3
Published on 2022-03-17 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	Jammy	proposed	multiverse	doc	8.15.0-3
Removal requested on 2022-03-17. Deleted on 2022-03-17 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2022-02-22 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)