Ubuntu

libcoq-reduction-effects-dbgsym binary package in Ubuntu Oracular ppc64el

Oracular (24.10)
ppc64el
libcoq-reduction-effects-dbgsym

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Phased updates	Version
	2024-06-17 22:23:41 UTC	Published	Ubuntu Oracular ppc64el	release	universe	ocaml	Optional		0.1.5-4build3
Published on 2024-06-17 Copied from ubuntu oracular-proposed ppc64el in Primary Archive for Ubuntu
		Deleted	Ubuntu Oracular ppc64el	proposed	universe	ocaml	Optional		0.1.5-4build3
Removal requested on 2024-06-17. Deleted on 2024-06-17 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-15
	2024-06-17 22:24:20 UTC	Superseded	Ubuntu Oracular ppc64el	release	universe	ocaml	Optional		0.1.5-4build2
Removed from disk on 2024-06-19. Removal requested on 2024-06-18. Superseded on 2024-06-17 by ppc64el build of coq-reduction-effects 0.1.5-4build3 in ubuntu oracular PROPOSED Published on 2024-05-21 Copied from ubuntu oracular-proposed ppc64el in Primary Archive for Ubuntu
	2024-06-19 00:10:16 UTC	Deleted	Ubuntu Oracular ppc64el	proposed	universe	ocaml	Optional		0.1.5-4build2
Removed from disk on 2024-06-19. Removal requested on 2024-05-21. Deleted on 2024-05-21 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-05-13
	2024-05-13 18:40:21 UTC	Superseded	Ubuntu Oracular ppc64el	proposed	universe	ocaml	Optional		0.1.5-4build1
Removed from disk on 2024-05-15. Removal requested on 2024-05-14. Superseded on 2024-05-13 by ppc64el build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED Published on 2024-05-02
	2024-05-21 01:46:35 UTC	Superseded	Ubuntu Oracular ppc64el	release	universe	ocaml	Optional		0.1.5-4
Removed from disk on 2024-05-22. Removal requested on 2024-05-22. Superseded on 2024-05-21 by ppc64el build of coq-reduction-effects 0.1.5-4build2 in ubuntu oracular PROPOSED Published on 2024-05-02 Copied from ubuntu oracular-proposed ppc64el in Primary Archive for Ubuntu
	2024-05-22 06:10:16 UTC	Deleted	Ubuntu Oracular ppc64el	proposed	universe	ocaml	Optional		0.1.5-4
Removed from disk on 2024-05-22. Removal requested on 2024-05-02. Deleted on 2024-05-02 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-05-02
	2024-05-02 14:43:46 UTC	Superseded	Ubuntu Oracular ppc64el	release	universe	ocaml	Optional		0.1.5-1build3
Removal requested on 2024-05-03. Superseded on 2024-05-02 by ppc64el build of coq-reduction-effects 0.1.5-4 in ubuntu oracular PROPOSED Published on 2024-04-29 Copied from ubuntu noble-proposed ppc64el in Primary Archive for Ubuntu

Source package

coq-reduction-effects package in Ubuntu