coq 8.3
| Maintainer | contact@ocamlpro.com | ||||
|---|---|---|---|---|---|
| Dependencies |
|
||||
| Optional dependencies |
|
||||
| Published | Oct 15, 2012 | ||||
| Source [http] |
http://coq.inria.fr/distrib/V8.3pl5/files/coq-8.3pl5.tar.gz b16741e211e98a3a3870a105aa0cb9fe |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/coq/coq.8.3/opam | ||||