opam on Github

sail_outputversion
0.20.3 (latest)
Documentation on ocaml.org

Example Sail output plugin

AuthorsAlasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Jonathan French, Kathy Gray, Robert Norton, Christopher Pulte, Peter Sewell and Mark Wassell
LicenseBSD-2-Clause
Homepagehttps://github.com/rems-project/sail
Issue Trackerhttps://github.com/rems-project/sail/issues
MaintainerSail Devs <cl-sail-dev@lists.cam.ac.uk>
Dependencies
Source [http] https://github.com/rems-project/sail/releases/download/0.20.3/sail-0.20.3.tbz
sha256=0b223ed83f521ad87eaacd88186390fbaf0b944f63c6a04a3ebdf96a1ff5a60c
sha512=83298218175c7a9ff7f0a304021287a2b9c20523cb16e1b8bf0ede81fa8e256a32b309626bc1553a5b46d68e44821524c27a5de0fb2f2d7f013025f61ce76519
Required by
Generated using opam2web, courtesy of OCamlPro. Commercial support.