opam - coq.8.4pl1

Published	Nov 21, 2013
Maintainer	https://github.com/ocaml/opam-repository/issues
Dependencies	ocaml>=3.11.2 & <4.02.0 camlp5<8 ocamlbuildbuild num conf-findutilsbuild
Optional dependencies	lablgtk
Conflicts	coq-native coq-of-ocaml frama-c>=16.0 & <19.0 frama-c-base>=13.1
Source [http]	http://coq.inria.fr/distrib/V8.4pl1/files/coq-8.4pl1.tar.gz md5=07e44e89fc99d6c414605dc96be37f12
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq/coq.8.4pl1/opam

Required by

Optionally used by

coqversion 8.4pl1 8.38.4pl18.4pl28.4pl48.4.58.4.6~camlp48.4.68.5.0~camlp48.5.08.5.18.5.2~camlp48.5.28.5.38.68.6.18.7.08.7.18.7.1+18.7.1+28.7.28.8.08.8.18.8.28.9.08.9.18.10.08.10.18.10.28.11.08.11.18.11.28.12.08.12.18.12.28.13.08.13.18.13.28.14.08.14.18.15.08.15.18.15.28.16.08.16.1 (latest)