Ubuntu

libcoq-interval-dbgsym binary package in Ubuntu Oracular s390x

Oracular (24.10)
s390x
libcoq-interval-dbgsym

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2024-06-30 16:02:56 UTC	Published	Ubuntu Oracular s390x	release	universe	ocaml	Optional	4.11.0-1build2
Published on 2024-06-30 Copied from ubuntu oracular-proposed s390x in Primary Archive for Ubuntu
		Deleted	Ubuntu Oracular s390x	proposed	universe	ocaml	Optional	4.11.0-1build2
Removal requested on 2024-06-30. Deleted on 2024-06-30 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-30
	2024-06-30 16:03:26 UTC	Superseded	Ubuntu Oracular s390x	release	universe	ocaml	Optional	4.11.0-1build1
Removed from disk on 2024-07-01. Removal requested on 2024-07-01. Superseded on 2024-06-30 by s390x build of coq-interval 4.11.0-1build2 in ubuntu oracular PROPOSED Published on 2024-06-17 Copied from ubuntu oracular-proposed s390x in Primary Archive for Ubuntu
	2024-07-01 18:10:21 UTC	Deleted	Ubuntu Oracular s390x	proposed	universe	ocaml	Optional	4.11.0-1build1
Removed from disk on 2024-07-01. 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 s390x	release	universe	ocaml	Optional	4.11.0-1
Removed from disk on 2024-06-19. Removal requested on 2024-06-18. Superseded on 2024-06-17 by s390x build of coq-interval 4.11.0-1build1 in ubuntu oracular PROPOSED Published on 2024-06-08 Copied from ubuntu oracular-proposed s390x in Primary Archive for Ubuntu
	2024-06-19 00:10:16 UTC	Deleted	Ubuntu Oracular s390x	proposed	universe	ocaml	Optional	4.11.0-1
Removed from disk on 2024-06-19. Removal requested on 2024-06-08. Deleted on 2024-06-08 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-08
	2024-06-08 20:22:38 UTC	Superseded	Ubuntu Oracular s390x	release	universe	ocaml	Optional	4.10.0-1build4
Removed from disk on 2024-06-10. Removal requested on 2024-06-09. Superseded on 2024-06-08 by s390x build of coq-interval 4.11.0-1 in ubuntu oracular PROPOSED Published on 2024-06-08 Copied from ubuntu oracular-proposed s390x in Primary Archive for Ubuntu
	2024-06-10 00:10:13 UTC	Deleted	Ubuntu Oracular s390x	proposed	universe	ocaml	Optional	4.10.0-1build4
Removed from disk on 2024-06-10. Removal requested on 2024-06-08. Deleted on 2024-06-08 by Ubuntu Archive Auto-Sync Moved to oracular Published on 2024-06-08
	2024-05-08 12:10:15 UTC	Deleted	Ubuntu Oracular s390x	release	universe	ocaml	Optional	4.10.0-1
Removed from disk on 2024-05-08. Removal requested on 2024-05-08. Deleted on 2024-05-08 by Steve Langasek ANAIS Published on 2024-05-02 Copied from ubuntu oracular-proposed s390x in Primary Archive for Ubuntu
	2024-05-08 12:10:15 UTC	Deleted	Ubuntu Oracular s390x	proposed	universe	ocaml	Optional	4.10.0-1
Removed from disk on 2024-05-08. 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 s390x	release	universe	ocaml	Optional	4.9.0-1build5
Removal requested on 2024-05-03. Superseded on 2024-05-02 by s390x build of coq-interval 4.10.0-1 in ubuntu oracular PROPOSED Published on 2024-04-29 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu

Source package

coq-interval package in Ubuntu