sail_manifestversion Documentation on ocaml.org

Helper tool for compiling Sail

AuthorsAlasdair Armstrong, Thomas Bauereiss, Brian Campbell, Shaked Flur, Jonathan French, Kathy Gray, Robert Norton, Christopher Pulte, Peter Sewell and Mark Wassell
LicenseBSD-2-Clause
Published
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/sail-0.20.tbz
sha256=59399896d0ab364b7f39e493efd675c4c0b660380dd87c4b2773eb13b93e47d3
sha512=87f73f2863eb2d8b7733024becb301dd4375ba0fbf2599024758c6a333fcd71db0ed497fb43905cfa75f80b54aab5acf5dbeffd37313a9df23213a50d346b69e
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/sail_manifest/sail_manifest.0.20/opam
Required by