opam - coqide.8.4.5

coqideversion
8.4.5
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	Oct 25, 2014
Maintainer	https://github.com/ocaml/opam-repository/issues
Dependencies	ocaml camlp5 coq=8.4.5 lablgtk>=2.12.0 ocamlbuildbuild
Source [http]	https://coq-distrib.s3.fr-par.scw.cloud/8.4pl5/files/coq-8.4pl5.tar.gz md5=7839005b48527a85149da950bd2ac006
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coqide/coqide.8.4.5/opam

No package is dependent