diff options
| author | Robert Norton | 2019-11-21 15:54:48 +0000 |
|---|---|---|
| committer | Robert Norton | 2019-11-21 15:54:48 +0000 |
| commit | beebcc35f79e2e30fe029f9b88ffd355f1276ec9 (patch) | |
| tree | ffede98b9aa497f16a922798163a8107bcd1d91f | |
| parent | 8e8df5b7c6f914651d1da5baa4cb2b3c058da720 (diff) | |
Bump version for release.
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ opam-version: "1.2" name: "sail" -version: "0.10" +version: "0.11" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" |