opam - coqide.8.4.6

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

Published	Apr 20, 2015
Maintainer	dev@clarus.me
Dependencies	ocaml camlp5 coq=8.4.6 lablgtk>=2.12.0 ocamlbuildbuild
Source [http]	https://coq-distrib.s3.fr-par.scw.cloud/V8.4pl6/files/coq-8.4pl6.tar.gz md5=2334a98b64578cb81d2b4127e327b368
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.4.6/opam

No package is dependent