opam - coq.8.4pl1

coqversion
8.4pl1
8.3
8.4pl1
8.4pl2
8.4pl4
8.4.5
8.4.6~camlp4
8.4.6
8.5.0~camlp4
8.5.0
8.5.1
8.5.2~camlp4
8.5.2
8.5.3
8.6
8.6.1
8.7.0
8.7.1
8.7.1+1
8.7.1+2
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)

Formal proof management system

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
Source [http]	https://coq-distrib.s3.fr-par.scw.cloud/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

why>=2.32 & <2.35
zenon<0.8.4

Optionally used by

coq-of-ocaml
frama-c>=16.0 & <26.0
frama-c-basebuild
sibylfs-lem
why3>=0.81 & <0.85 | >=0.88.0 & <1.0.0
why3-base
zenon>=0.8.4
zenon_modulo