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
8.19.2
8.20.0 (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 sha256=a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6 md5=2334a98b64578cb81d2b4127e327b368
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.4.6/opam

No package is dependent