diff options
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -37,4 +37,4 @@ depends: [ "conf-zlib" "yojson" ] -available: [ocaml-version >= "4.06.0"] +available: [ocaml-version >= "4.06.1"] |
![]() |
index : sail | |
| Formal specification language for ISAs |
| summaryrefslogtreecommitdiff |