Ubuntu
coq package

Publishing history of coq 8.12.0-3build3 source package in Ubuntu

	Date	Status	Target	Pocket	Component	Section	Version
	2021-12-15 03:29:45 UTC	Superseded	Jammy	release	universe	devel	8.12.0-3build3
Superseded on 2021-12-15 by coq - 8.14.1+dfsg-1 Published on 2021-10-15 Copied from ubuntu hirsute in Primary Archive for Ubuntu
	2022-07-23 18:02:57 UTC	Obsolete	Impish	release	universe	devel	8.12.0-3build3
Removal requested on 2022-07-23. Published on 2021-04-23 Copied from ubuntu hirsute in Primary Archive for Ubuntu
	2022-07-23 01:40:00 UTC	Obsolete	Hirsute	release	universe	devel	8.12.0-3build3
Created on 2020-12-02 by Ubuntu Archive Auto-Sync Removal requested on 2022-07-23. Published on 2020-12-02
		Deleted	Hirsute	proposed	universe	devel	8.12.0-3build3
Removal requested on 2020-12-02. Deleted on 2020-12-02 by Ubuntu Archive Robot moved to Release Published on 2020-11-28