Ubuntu

libcoq-menhirlib binary package in Ubuntu Noble s390x

Noble (24.04)
s390x
libcoq-menhirlib

This package provides a support library for verified
Coq parsers produced by Menhir.
.
Menhir is a LR(1) parser generator for the OCaml programming
language and Coq is a proof assistant for higher-order logic.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2024-04-10 09:32:36 UTC	Published	Ubuntu Noble s390x	release	universe	ocaml	Optional	20231231+ds-1build3
Published on 2024-04-10 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
		Deleted	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20231231+ds-1build3
Removal requested on 2024-04-10. Deleted on 2024-04-10 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-04-08
	2024-04-10 09:33:10 UTC	Superseded	Ubuntu Noble s390x	release	universe	ocaml	Optional	20231231+ds-1build2
Removed from disk on 2024-04-11. Removal requested on 2024-04-11. Superseded on 2024-04-10 by s390x build of coq-menhirlib 20231231+ds-1build3 in ubuntu noble PROPOSED Published on 2024-04-02 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
	2024-04-11 12:10:19 UTC	Deleted	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20231231+ds-1build2
Removed from disk on 2024-04-11. Removal requested on 2024-04-02. Deleted on 2024-04-02 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-03-31
	2024-04-06 12:10:12 UTC	Deleted	Ubuntu Noble s390x	updates	universe	ocaml	Optional	20231231+ds-1
Removed from disk on 2024-04-06. Removal requested on 2024-04-05. Deleted on 2024-04-05 by Steve Langasek superseded by release Published on 2024-03-30 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
	2024-04-02 13:19:47 UTC	Superseded	Ubuntu Noble s390x	release	universe	ocaml	Optional	20231231+ds-1build1
Removed from disk on 2024-04-03. Removal requested on 2024-04-03. Superseded on 2024-04-02 by s390x build of coq-menhirlib 20231231+ds-1build2 in ubuntu noble PROPOSED Published on 2024-03-28 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
	2024-04-03 18:10:17 UTC	Deleted	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20231231+ds-1build1
Removed from disk on 2024-04-03. Removal requested on 2024-03-28. Deleted on 2024-03-28 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-03-24
	2024-03-29 03:56:46 UTC	Superseded	Ubuntu Noble s390x	release	universe	ocaml	Optional	20231231+ds-1
Removed from disk on 2024-04-06. Removal requested on 2024-03-30. Superseded on 2024-03-29 by s390x build of coq-menhirlib 20231231+ds-1build1 in ubuntu noble PROPOSED Published on 2024-01-30 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
	2024-04-06 12:10:12 UTC	Deleted	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20231231+ds-1
Removed from disk on 2024-04-06. Removal requested on 2024-01-30. Deleted on 2024-01-30 by Ubuntu Archive Auto-Sync Moved to noble Published on 2024-01-21
	2024-01-21 05:46:13 UTC	Superseded	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20230608+ds-2build1
Removed from disk on 2024-01-22. Removal requested on 2024-01-22. Superseded on 2024-01-21 by s390x build of coq-menhirlib 20231231+ds-1 in ubuntu noble PROPOSED Published on 2023-12-23
	2024-01-30 03:30:24 UTC	Superseded	Ubuntu Noble s390x	release	universe	ocaml	Optional	20230608+ds-2
Removed from disk on 2024-01-31. Removal requested on 2024-01-31. Superseded on 2024-01-30 by s390x build of coq-menhirlib 20231231+ds-1 in ubuntu noble PROPOSED Published on 2023-12-22 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
	2024-01-31 06:10:17 UTC	Deleted	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20230608+ds-2
Removed from disk on 2024-01-31. Removal requested on 2023-12-22. Deleted on 2023-12-22 by Ubuntu Archive Auto-Sync Moved to noble Published on 2023-12-22
	2023-12-22 19:47:09 UTC	Superseded	Ubuntu Noble s390x	release	universe	ocaml	Optional	20230608+ds-1build3
Removed from disk on 2024-01-13. Removal requested on 2023-12-23. Superseded on 2023-12-22 by s390x build of coq-menhirlib 20230608+ds-2 in ubuntu noble PROPOSED Published on 2023-11-25 Copied from ubuntu noble-proposed s390x in Primary Archive for Ubuntu
	2024-01-13 12:10:15 UTC	Deleted	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20230608+ds-1build3
Removed from disk on 2024-01-13. Removal requested on 2023-11-25. Deleted on 2023-11-25 by Ubuntu Archive Auto-Sync Moved to noble Published on 2023-11-23
	2023-11-23 00:06:07 UTC	Superseded	Ubuntu Noble s390x	proposed	universe	ocaml	Optional	20230608+ds-1build2
Removed from disk on 2024-01-13. Removal requested on 2023-11-24. Superseded on 2023-11-23 by s390x build of coq-menhirlib 20230608+ds-1build3 in ubuntu noble PROPOSED Published on 2023-11-22
	2023-11-25 08:38:20 UTC	Superseded	Ubuntu Noble s390x	release	universe	ocaml	Optional	20230608+ds-1build1
Removal requested on 2023-11-26. Superseded on 2023-11-25 by s390x build of coq-menhirlib 20230608+ds-1build3 in ubuntu noble PROPOSED Published on 2023-10-23 Copied from ubuntu mantic-proposed s390x in Primary Archive for Ubuntu

Source package

coq-menhirlib package in Ubuntu