Ubuntu

coq-dbgsym binary package in Ubuntu Groovy armhf

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2021-12-22 19:51:25 UTC	Obsolete	Ubuntu Groovy armhf	release	universe	math	Optional	8.12.0-3build1
Removed from disk on 2021-12-23. Removal requested on 2021-12-22. Published on 2020-10-06 Copied from ubuntu groovy-proposed armhf in Primary Archive for Ubuntu
	2021-12-23 00:10:07 UTC	Deleted	Ubuntu Groovy armhf	proposed	universe	math	Optional	8.12.0-3build1
Removed from disk on 2021-12-23. Removal requested on 2020-10-06. Deleted on 2020-10-06 by Ubuntu Archive Robot moved to Release Published on 2020-10-04
	2020-10-06 08:48:52 UTC	Superseded	Ubuntu Groovy armhf	release	universe	math	Optional	8.12.0-3
Removed from disk on 2020-10-07. Removal requested on 2020-10-07. Superseded on 2020-10-06 by armhf build of coq 8.12.0-3build1 in ubuntu groovy PROPOSED Published on 2020-09-30 Copied from ubuntu groovy-proposed armhf in Primary Archive for Ubuntu
	2020-10-07 12:10:09 UTC	Deleted	Ubuntu Groovy armhf	proposed	universe	math	Optional	8.12.0-3
Removed from disk on 2020-10-07. Removal requested on 2020-09-30. Deleted on 2020-09-30 by Ubuntu Archive Robot moved to Release Published on 2020-09-15