diff options
| author | Alasdair | 2021-01-07 12:43:08 +0000 |
|---|---|---|
| committer | Alasdair | 2021-01-07 12:43:08 +0000 |
| commit | ad34dfb1fb20caf20241ccdfd406e4164484b3e1 (patch) | |
| tree | 130f66f3e528df077f59fa616d72a23dfc3f1b31 | |
| parent | 55a91e5b94b6ef53eae02045922fc7346b33ce10 (diff) | |
Update version number in opam file
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ opam-version: "2.0" name: "sail" -version: "0.13" +version: "0.14" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" |