Ubuntu
coq-doc package

Publishing history of coq-doc 8.19.1-2 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2024-06-19 01:18:52 UTC	Published	Oracular	release	multiverse	doc	8.19.1-2
Published on 2024-06-19 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	Oracular	proposed	multiverse	doc	8.19.1-2
Removal requested on 2024-06-19. Deleted on 2024-06-19 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-18 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)