diff options
| author | Robert Norton | 2019-07-04 12:51:40 +0100 |
|---|---|---|
| committer | Robert Norton | 2019-07-04 12:51:40 +0100 |
| commit | da307c671ccdd115d7669f9c8a20d388426400eb (patch) | |
| tree | 701345f11aa5f00a1bfb0f8199b2c1a440a6f386 | |
| parent | aa776aaeef896cb9fa12983be2c1db3546569962 (diff) | |
Bump opam version.
| -rw-r--r-- | opam | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ opam-version: "1.2" name: "sail" -version: "0.9" +version: "0.10" maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>" authors: [ "Alasdair Armstrong" |
