Ubuntu

coq-dbgsym binary package in Ubuntu Lunar riscv64

Lunar (23.04)
riscv64
coq-dbgsym

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2023-02-28 16:14:28 UTC	Published	Ubuntu Lunar riscv64	release	universe	math	Optional		8.16.1+dfsg-1build2
Published on 2023-02-28 Copied from ubuntu lunar-proposed riscv64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Lunar riscv64	proposed	universe	math	Optional		8.16.1+dfsg-1build2
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 riscv64	release	universe	math	Optional		8.16.1+dfsg-1build1
Removed from disk on 2023-03-01. Removal requested on 2023-03-01. Superseded on 2023-02-28 by riscv64 build of coq 8.16.1+dfsg-1build2 in ubuntu lunar PROPOSED Published on 2023-01-30 Copied from ubuntu lunar-proposed riscv64 in Primary Archive for Ubuntu
	2023-03-01 18:10:11 UTC	Deleted	Ubuntu Lunar riscv64	proposed	universe	math	Optional		8.16.1+dfsg-1build1
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 riscv64	release	universe	math	Optional		8.16.1+dfsg-1
Removed from disk on 2023-01-31. Removal requested on 2023-01-31. Superseded on 2023-01-30 by riscv64 build of coq 8.16.1+dfsg-1build1 in ubuntu lunar PROPOSED Published on 2022-12-07 Copied from ubuntu lunar-proposed riscv64 in Primary Archive for Ubuntu
	2023-01-31 06:10:11 UTC	Deleted	Ubuntu Lunar riscv64	proposed	universe	math	Optional		8.16.1+dfsg-1
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-11-29
	2022-11-29 21:39:51 UTC	Superseded	Ubuntu Lunar riscv64	proposed	universe	math	Optional		8.16.0+dfsg-1build1
Removed from disk on 2022-12-01. Removal requested on 2022-11-30. Superseded on 2022-11-29 by riscv64 build of coq 8.16.1+dfsg-1 in ubuntu lunar PROPOSED Published on 2022-11-25
	2022-11-25 10:53:57 UTC	Superseded	Ubuntu Lunar riscv64	proposed	universe	math	Optional		8.16.0+dfsg-1
Removed from disk on 2022-11-26. Removal requested on 2022-11-26. Superseded on 2022-11-25 by riscv64 build of coq 8.16.0+dfsg-1build1 in ubuntu lunar PROPOSED Published on 2022-11-06
	2022-12-07 02:54:35 UTC	Superseded	Ubuntu Lunar riscv64	release	universe	math	Optional		8.15.2+dfsg-2
Removal requested on 2022-12-08. Superseded on 2022-12-07 by riscv64 build of coq 8.16.1+dfsg-1 in ubuntu lunar PROPOSED Published on 2022-10-27 Copied from ubuntu kinetic-proposed riscv64 in Primary Archive for Ubuntu

Source package

coq package in Ubuntu