summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton2019-07-04 12:51:40 +0100
committerRobert Norton2019-07-04 12:51:40 +0100
commitda307c671ccdd115d7669f9c8a20d388426400eb (patch)
tree701345f11aa5f00a1bfb0f8199b2c1a440a6f386
parentaa776aaeef896cb9fa12983be2c1db3546569962 (diff)
Bump opam version.
-rw-r--r--opam2
1 files changed, 1 insertions, 1 deletions
diff --git a/opam b/opam
index beb4b304..9912925e 100644
--- a/opam
+++ b/opam
@@ -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"