Ubuntu

libcoq-gappa-dbgsym binary package in Ubuntu Lunar armhf

Lunar (23.04)
armhf
libcoq-gappa-dbgsym

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2023-02-28 16:14:28 UTC	Published	Ubuntu Lunar armhf	release	universe	math	Optional		1.5.2-5build1
Published on 2023-02-28 Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Lunar armhf	proposed	universe	math	Optional		1.5.2-5build1
Removal requested on 2023-02-28. Deleted on 2023-02-28 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2023-02-16
	2023-02-28 16:15:30 UTC	Superseded	Ubuntu Lunar armhf	release	universe	math	Optional		1.5.2-5
Removed from disk on 2023-03-01. Removal requested on 2023-03-01. Superseded on 2023-02-28 by armhf build of coq-gappa 1.5.2-5build1 in ubuntu lunar PROPOSED Published on 2023-01-30 Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
	2023-03-01 18:10:11 UTC	Deleted	Ubuntu Lunar armhf	proposed	universe	math	Optional		1.5.2-5
Removed from disk on 2023-03-01. Removal requested on 2023-01-30. Deleted on 2023-01-30 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2023-01-26
	2023-01-30 01:15:49 UTC	Superseded	Ubuntu Lunar armhf	release	universe	math	Optional		1.5.2-4build2
Removed from disk on 2023-01-31. Removal requested on 2023-01-31. Superseded on 2023-01-30 by armhf build of coq-gappa 1.5.2-5 in ubuntu lunar PROPOSED Published on 2022-12-07 Copied from ubuntu lunar-proposed armhf in Primary Archive for Ubuntu
	2023-01-31 06:10:11 UTC	Deleted	Ubuntu Lunar armhf	proposed	universe	math	Optional		1.5.2-4build2
Removed from disk on 2023-01-31. Removal requested on 2022-12-07. Deleted on 2022-12-07 by Ubuntu Archive Auto-Sync Moved to lunar Published on 2022-12-03
	2022-12-03 12:29:38 UTC	Superseded	Ubuntu Lunar armhf	proposed	universe	math	Optional		1.5.2-4build1
Removed from disk on 2022-12-04. Removal requested on 2022-12-04. Superseded on 2022-12-03 by armhf build of coq-gappa 1.5.2-4build2 in ubuntu lunar PROPOSED Published on 2022-11-25
	2022-12-07 03:20:53 UTC	Superseded	Ubuntu Lunar armhf	release	universe	math	Optional		1.5.2-2
Removed from disk on 2024-01-12. Removal requested on 2022-12-08. Superseded on 2022-12-07 by armhf build of coq-gappa 1.5.2-4build2 in ubuntu lunar PROPOSED Published on 2022-10-27 Copied from ubuntu kinetic-proposed armhf in Primary Archive for Ubuntu

Source package

coq-gappa package in Ubuntu