Ubuntu

coq-dbgsym binary package in Ubuntu Mantic s390x

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2023-07-31 08:38:31 UTC	Published	Ubuntu Mantic s390x	release	universe	math	Optional	8.17.0+dfsg-1build1
Published on 2023-07-31 Copied from ubuntu mantic-proposed s390x in Primary Archive for Ubuntu
		Deleted	Ubuntu Mantic s390x	proposed	universe	math	Optional	8.17.0+dfsg-1build1
Removal requested on 2023-07-31. Deleted on 2023-07-31 by Ubuntu Archive Auto-Sync Moved to mantic Published on 2023-07-24
	2023-07-31 08:41:13 UTC	Superseded	Ubuntu Mantic s390x	release	universe	math	Optional	8.17.0+dfsg-1
Removed from disk on 2023-08-01. Removal requested on 2023-08-01. Superseded on 2023-07-31 by s390x build of coq 8.17.0+dfsg-1build1 in ubuntu mantic PROPOSED Published on 2023-06-25 Copied from ubuntu mantic-proposed s390x in Primary Archive for Ubuntu
	2023-08-01 12:10:09 UTC	Deleted	Ubuntu Mantic s390x	proposed	universe	math	Optional	8.17.0+dfsg-1
Removed from disk on 2023-08-01. Removal requested on 2023-06-25. Deleted on 2023-06-25 by Ubuntu Archive Auto-Sync Moved to mantic Published on 2023-06-12
	2023-06-25 17:24:49 UTC	Superseded	Ubuntu Mantic s390x	release	universe	math	Optional	8.16.1+dfsg-1build2
Removal requested on 2023-06-26. Superseded on 2023-06-25 by s390x build of coq 8.17.0+dfsg-1 in ubuntu mantic PROPOSED Published on 2023-04-25 Copied from ubuntu lunar-proposed s390x in Primary Archive for Ubuntu