Ubuntu
coq package

Publishing history of coq 8.18.0+dfsg-1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2024-04-10 00:10:21 UTC	Deleted	Noble	updates	universe	devel	8.18.0+dfsg-1
Removed from disk on 2024-04-10. Removal requested on 2024-04-09. Deleted on 2024-04-09 by Steve Langasek superseded by release Published on 2024-03-30 Copied from Primary Archive for Ubuntu by Ubuntu Archive Robot Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux
	2024-03-29 03:56:46 UTC	Superseded	Noble	release	universe	devel	8.18.0+dfsg-1
Removed from disk on 2024-04-10. Removal requested on 2024-03-30. Superseded on 2024-03-29 by coq - 8.18.0+dfsg-1build1 Published on 2024-01-30 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
	2024-04-10 00:10:21 UTC	Deleted	Noble	proposed	universe	devel	8.18.0+dfsg-1
Removed from disk on 2024-04-10. Removal requested on 2024-01-30. Deleted on 2024-01-30 by Ubuntu Archive Auto-Sync Moved to noble Published on 2023-12-22 Copied from debian sid in Primary Archive for Debian GNU/Linux by Jeremy Bícha