coq-of-ocaml opam package versions (7)

This page lists package versions found in opam-repository. On ocaml.org, the latest URL currently points to version 2.5.3+4.14; this does not indicate an upstream release status. Versions marked Avoided or Deprecated are not normally selected by opam.

Versions and opam status for the coq-of-ocaml package
Version Status Added to opam-repository Links
Version selected by the latest URL
2.5.3+4.14 Latest URL target Selected Documentation
Previous versions
2.5.3+4.13 Previous Documentation
2.5.3+4.12 Previous Documentation
2.5.2+4.13 Previous Documentation
2.5.2+4.12 Previous Documentation
2.5.1 Previous Documentation
2.5.0 Previous Documentation