diff options
| author | Robert Norton | 2019-03-22 16:51:45 +0000 |
|---|---|---|
| committer | Robert Norton | 2019-03-22 16:55:23 +0000 |
| commit | aed0ec76a7497365ea436c4764f764e58ccc6685 (patch) | |
| tree | 1beb9601795b9bee9edf370c133f52243967b1c8 | |
| parent | f4acbce30be2aecdfc491478a24c5eb551824f24 (diff) | |
Bump opam version prior to future 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.8" +version: "0.9" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" |