diff options
| author | Robert Norton | 2018-07-13 12:14:17 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-13 12:14:41 +0100 |
| commit | 7bdcdcc7abdde74993020d1f2c33ea00d6784fc4 (patch) | |
| tree | e3d37d4cac882df5601d354222c0f605de9ac942 /opam | |
| parent | 82784b669df18e33c48449020f29f36980d12bf3 (diff) | |
prepare for new 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.2" +version: "0.3" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" @@ -29,6 +29,6 @@ depends: [ "linenoise" "ott" {>= "0.28"} "lem" - "linksem" {>= "0.2"} + "linksem" {>= "0.3"} ] available: [ocaml-version >= "4.02.3"] |