Ubuntu
coq-ext-lib package

Publishing history of coq-ext-lib 0.11.7-1 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2022-12-07 02:54:35 UTC	Superseded	Lunar	release	universe	misc	0.11.7-1
Superseded on 2022-12-07 by coq-ext-lib - 0.11.7-1build3 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	universe	misc	0.11.7-1
Removal requested on 2023-11-13. Published on 2022-08-22 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	universe	misc	0.11.7-1
Removal requested on 2022-08-22. Deleted on 2022-08-22 by Ubuntu Archive Auto-Sync Moved to kinetic Published on 2022-08-14 Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)