opam - coqide.8.11.2

coqideversion
8.11.2
8.4pl2
8.4pl4
8.4.5
8.4.6
8.5.0
8.5.1
8.5.2
8.5.3
8.6
8.6.1
8.7.0
8.7.1
8.7.2
8.8.0
8.8.1
8.8.2
8.9.0
8.9.1
8.10.0
8.10.1
8.10.2
8.11.0
8.11.1
8.11.2
8.12.0
8.12.1
8.12.2
8.13.0
8.13.1
8.13.2
8.14.0
8.14.1
8.15.0
8.15.1
8.15.2
8.16.0
8.16.1
8.17.0
8.17.1
8.18.0
8.19.0
8.19.1
8.19.2
8.20.0 (latest)

IDE of the Coq formal proof management system

CoqIDE is a graphical user interface for interactive development of mathematical definitions, executable algorithms, and proofs of theorems using the Coq proof assistant.

Author	The Coq development team, INRIA, CNRS, and contributors.
License	LGPL-2.1-only
Published	Jun 6, 2020
Homepage	https://coq.inria.fr/
Issue Tracker	https://github.com/coq/coq/issues
Maintainer	coqdev@inria.fr
Dependencies	coq=8.11.2 ocamlfindbuild conf-findutilsbuild lablgtk3-sourceview3!=3.0.beta7 conf-adwaita-icon-theme
Source [http]	https://github.com/coq/coq/archive/V8.11.2.tar.gz sha512=f8ab307b8e39ffda5f6984e187c1f8de1cb6dec5c322726dbbe535ee611683cfeeb9cee3e11ad83f5e44e843fc51e7e2d50b4ea69ab42fde38aaf3d0cf2dea3c
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.11.2/opam

No package is dependent