Ubuntu

coqide binary package in Ubuntu Trusty amd64

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
	2014-01-21 06:53:22 UTC	Published	Ubuntu Trusty amd64	release	universe	math	Optional	8.4pl3dfsg-1
Published on 2014-01-21 Copied from ubuntu trusty-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Trusty amd64	proposed	universe	math	Optional	8.4pl3dfsg-1
Removal requested on 2014-01-21. Deleted on 2014-01-21 by Ubuntu Archive Robot moved to release Published on 2014-01-19
	2014-01-21 06:54:07 UTC	Superseded	Ubuntu Trusty amd64	release	universe	math	Optional	8.4pl2dfsg-4
Removed from disk on 2014-01-22. Removal requested on 2014-01-22. Superseded on 2014-01-21 by amd64 build of coq 8.4pl3dfsg-1 in ubuntu trusty PROPOSED Published on 2013-12-24 Copied from ubuntu trusty-proposed amd64 in Primary Archive for Ubuntu
	2014-01-22 12:10:12 UTC	Deleted	Ubuntu Trusty amd64	proposed	universe	math	Optional	8.4pl2dfsg-4
Removed from disk on 2014-01-22. Removal requested on 2013-12-24. Deleted on 2013-12-24 by Ubuntu Archive Robot moved to release Published on 2013-12-23
	2013-12-24 16:47:07 UTC	Superseded	Ubuntu Trusty amd64	release	universe	math	Optional	8.4pl2dfsg-1
Removed from disk on 2015-05-01. Removal requested on 2013-12-25. Superseded on 2013-12-24 by amd64 build of coq 8.4pl2dfsg-4 in ubuntu trusty PROPOSED Published on 2013-10-18 Copied from ubuntu saucy-proposed amd64 in Primary Archive for Ubuntu

Source package

coq package in Ubuntu