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
8.14.0
8.14.1
8.15.0
8.15.1
8.15.2
8.16.0 (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
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.4pl2/opam

No package is dependent