diff options
| author | Robert Norton | 2018-11-05 13:11:53 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-11-12 15:14:30 +0000 |
| commit | e5b80f77cb481938f6ddaab629e017083723a5c6 (patch) | |
| tree | b0ddb4d057b3afea5ae929b5a357e9b719a1ca61 /opam | |
| parent | fdfea2412245d8be89b12a78cb321364b3ab77a5 (diff) | |
opam release
Diffstat (limited to 'opam')
| -rw-r--r-- | opam | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,6 +1,6 @@ opam-version: "1.2" name: "sail" -version: "0.3" +version: "0.4" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" @@ -31,4 +31,4 @@ depends: [ "lem" "linksem" {>= "0.3"} ] -available: [ocaml-version >= "4.02.3"] +available: [ocaml-version >= "4.06.0"] |