opam on Github

codexversion
1.0~rc4 (latest)
Documentation on ocaml.org

The Codex library for building static analysers based on abstract interpretation

AuthorsMatthieu Lemerre, Julien Simonnet, Olivier Nicole, Paul Robert, Dorian Lesbre, Iker Canut, Corentin Gendreau, Guillaume Girol, Charles Babu and Jérôme Faucheux
LicenseLGPL-2.1-or-later
Published
Homepagehttps://codex.top
Issue Trackerhttps://github.com/codex-semantics-library/codex/issues
MaintainerMatthieu Lemerre <matthieu.lemerre@cea.fr>
Availableos-family != "windows" & arch != "arm32" & arch != "x86_32" & arch != "s390x"
Dependencies
Source [http] https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-rc4.tar.gz
md5=bc7266a140c6886add673ede90e335d3
sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/codex/codex.1.0~rc4/opam
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.