opam - coqide.8.4pl2

coqideversion
8.4pl2
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 (latest)

Published	Nov 21, 2013
Maintainer	https://github.com/ocaml/opam-repository/issues
Dependencies	ocaml camlp5 coq=8.4pl2 lablgtk>=2.12.0 ocamlbuildbuild
Source [http]	http://coq.inria.fr/distrib/V8.4pl2/files/coq-8.4pl2.tar.gz md5=7fd98da8db35a89b9718333a31af6153
Statistics	Not installed in the last month.
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.4pl2/opam

No package is dependent