opam - coq.8.3

Published	Nov 21, 2013
Maintainer	https://github.com/ocaml/opam-repository/issues
Dependencies	ocaml>=3.10.2 & <4.02.0 camlp5!=5.00 & <8 ocamlbuildbuild num conf-findutilsbuild
Optional dependencies	lablgtk
Conflicts	coq-core coq-native coq-of-ocaml dune=3.8.0 frama-c>=16.0 & <19.0 frama-c-base>=13.1 why3=0.84 why3-base zenon>=0.8.5
Source [http]	http://coq.inria.fr/distrib/V8.3pl5/files/coq-8.3pl5.tar.gz md5=b16741e211e98a3a3870a105aa0cb9fe
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/coq/coq.8.3/opam

Required by

Optionally used by