diff options
| author | Jon French | 2019-02-25 12:10:30 +0000 |
|---|---|---|
| committer | Jon French | 2019-02-25 12:10:30 +0000 |
| commit | 915d75f9c49fa2c2a9d47d189e4224cee16582c9 (patch) | |
| tree | 77a93e682796977898af0b56e0a61d7689db112e /opam | |
| parent | a8a5308e4981b3d09fb2bf0c59d592ef6ae4417e (diff) | |
| parent | 38656b50ad24df6a29f3a84e50adfcf409131fb0 (diff) | |
Merge branch 'sail2' into rmem_interpreter
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,6 +1,6 @@ opam-version: "1.2" name: "sail" -version: "0.7.1" +version: "0.8" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" @@ -36,5 +36,6 @@ depends: [ "conf-gmp" "conf-zlib" "base64" + "yojson" ] available: [ocaml-version >= "4.06.0"] |