Ubuntu

libcoq-libhyps binary package in Ubuntu Noble armhf

Noble (24.04)
armhf
libcoq-libhyps

This package provides tactics and tacticals to work
with hypotheses during a Coq proof.
.
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 armhf	release	universe	ocaml	Optional	2.0.8-1build4
Published on 2024-04-10 Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
		Deleted	Ubuntu Noble armhf	proposed	universe	ocaml	Optional	2.0.8-1build4
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 armhf	release	universe	ocaml	Optional	2.0.8-1build3
Removed from disk on 2024-04-11. Removal requested on 2024-04-11. Superseded on 2024-04-10 by armhf build of coq-libhyps 2.0.8-1build4 in ubuntu noble PROPOSED Published on 2024-04-02 Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
	2024-04-11 12:10:19 UTC	Deleted	Ubuntu Noble armhf	proposed	universe	ocaml	Optional	2.0.8-1build3
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 armhf	updates	universe	ocaml	Optional	2.0.8-1build1
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 armhf in Primary Archive for Ubuntu
	2024-04-02 13:19:47 UTC	Superseded	Ubuntu Noble armhf	release	universe	ocaml	Optional	2.0.8-1build2
Removed from disk on 2024-04-03. Removal requested on 2024-04-03. Superseded on 2024-04-02 by armhf build of coq-libhyps 2.0.8-1build3 in ubuntu noble PROPOSED Published on 2024-03-28 Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
	2024-04-03 18:10:17 UTC	Deleted	Ubuntu Noble armhf	proposed	universe	ocaml	Optional	2.0.8-1build2
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 armhf	release	universe	ocaml	Optional	2.0.8-1build1
Removed from disk on 2024-04-06. Removal requested on 2024-03-30. Superseded on 2024-03-29 by armhf build of coq-libhyps 2.0.8-1build2 in ubuntu noble PROPOSED Published on 2024-01-30 Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
	2024-04-06 12:10:12 UTC	Deleted	Ubuntu Noble armhf	proposed	universe	ocaml	Optional	2.0.8-1build1
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 2023-12-23
	2024-01-30 03:30:24 UTC	Superseded	Ubuntu Noble armhf	release	universe	ocaml	Optional	2.0.8-1
Removed from disk on 2024-01-31. Removal requested on 2024-01-31. Superseded on 2024-01-30 by armhf build of coq-libhyps 2.0.8-1build1 in ubuntu noble PROPOSED Published on 2023-12-22 Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
	2024-01-31 06:10:17 UTC	Deleted	Ubuntu Noble armhf	proposed	universe	ocaml	Optional	2.0.8-1
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 armhf	release	universe	ocaml	Optional	2.0.6-3build3
Removed from disk on 2024-01-13. Removal requested on 2023-12-23. Superseded on 2023-12-22 by armhf build of coq-libhyps 2.0.8-1 in ubuntu noble PROPOSED Published on 2023-11-25 Copied from ubuntu noble-proposed armhf in Primary Archive for Ubuntu
	2024-01-13 12:10:15 UTC	Deleted	Ubuntu Noble armhf	proposed	universe	ocaml	Optional	2.0.6-3build3
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 armhf	proposed	universe	ocaml	Optional	2.0.6-3build2
Removed from disk on 2024-01-13. Removal requested on 2023-11-24. Superseded on 2023-11-23 by armhf build of coq-libhyps 2.0.6-3build3 in ubuntu noble PROPOSED Published on 2023-11-06
	2023-11-25 08:38:20 UTC	Superseded	Ubuntu Noble armhf	release	universe	ocaml	Optional	2.0.6-3build1
Removal requested on 2023-11-26. Superseded on 2023-11-25 by armhf build of coq-libhyps 2.0.6-3build3 in ubuntu noble PROPOSED Published on 2023-10-23 Copied from ubuntu mantic-proposed armhf in Primary Archive for Ubuntu

Source package

coq-libhyps package in Ubuntu