Ubuntu

coqide binary package in Ubuntu Jammy riscv64

Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides CoqIde, a graphical user interface for
developing proofs.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2022-03-02 17:45:17 UTC	Published	Ubuntu Jammy riscv64	release	universe	math	Optional	8.15.0+dfsg-2
Published on 2022-03-02 Copied from ubuntu jammy-proposed riscv64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.15.0+dfsg-2
Removal requested on 2022-03-02. Deleted on 2022-03-02 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2022-02-05
	2022-02-05 23:54:00 UTC	Superseded	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.15.0+dfsg-1build1
Removed from disk on 2022-02-07. Removal requested on 2022-02-06. Superseded on 2022-02-05 by riscv64 build of coq 8.15.0+dfsg-2 in ubuntu jammy PROPOSED Published on 2022-01-25
	2022-01-25 20:19:12 UTC	Superseded	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.15.0+dfsg-1
Removed from disk on 2022-01-27. Removal requested on 2022-01-26. Superseded on 2022-01-25 by riscv64 build of coq 8.15.0+dfsg-1build1 in ubuntu jammy PROPOSED Published on 2022-01-18
	2022-01-18 04:08:56 UTC	Superseded	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.14.1+dfsg-2
Removed from disk on 2022-01-19. Removal requested on 2022-01-19. Superseded on 2022-01-18 by riscv64 build of coq 8.15.0+dfsg-1 in ubuntu jammy PROPOSED Published on 2022-01-17
	2022-03-02 18:00:59 UTC	Superseded	Ubuntu Jammy riscv64	release	universe	math	Optional	8.14.1+dfsg-1
Removed from disk on 2022-03-03. Removal requested on 2022-03-03. Superseded on 2022-03-02 by riscv64 build of coq 8.15.0+dfsg-2 in ubuntu jammy PROPOSED Published on 2021-12-15 Copied from ubuntu jammy-proposed riscv64 in Primary Archive for Ubuntu
	2022-03-03 18:10:09 UTC	Deleted	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.14.1+dfsg-1
Removed from disk on 2022-03-03. Removal requested on 2021-12-15. Deleted on 2021-12-15 by Ubuntu Archive Auto-Sync Moved to jammy Published on 2021-12-11
	2021-12-11 21:04:13 UTC	Superseded	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.14.0+dfsg-6
Removed from disk on 2021-12-13. Removal requested on 2021-12-12. Superseded on 2021-12-11 by riscv64 build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED Published on 2021-11-16
	2021-11-16 15:29:04 UTC	Superseded	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.14.0+dfsg-4
Removed from disk on 2021-11-17. Removal requested on 2021-11-17. Superseded on 2021-11-16 by riscv64 build of coq 8.14.0+dfsg-6 in ubuntu jammy PROPOSED Published on 2021-11-15
	2021-11-15 21:54:54 UTC	Superseded	Ubuntu Jammy riscv64	proposed	universe	math	Optional	8.14.0+dfsg-3
Removed from disk on 2021-11-17. Removal requested on 2021-11-16. Superseded on 2021-11-15 by riscv64 build of coq 8.14.0+dfsg-4 in ubuntu jammy PROPOSED Published on 2021-11-13
	2021-12-15 03:29:45 UTC	Superseded	Ubuntu Jammy riscv64	release	universe	math	Optional	8.12.0-3build3
Removed from disk on 2022-07-24. Removal requested on 2021-12-16. Superseded on 2021-12-15 by riscv64 build of coq 8.14.1+dfsg-1 in ubuntu jammy PROPOSED Published on 2021-10-15 Copied from ubuntu hirsute-proposed riscv64 in Primary Archive for Ubuntu

Source package

coq package in Ubuntu