Ubuntu

libcoq-interval binary package in Ubuntu Oracular riscv64

Oracular (24.10)
riscv64
libcoq-interval

This package provides tactics to simplify the
proof of inequalities on expressions of real
numbers.
.
Coq is a proof assistant for higher-order logic.

Publishing history

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

Source package

coq-interval package in Ubuntu