aboutsummaryrefslogtreecommitdiff
path: root/opam
diff options
context:
space:
mode:
Diffstat (limited to 'opam')
-rw-r--r--opam2
1 files changed, 1 insertions, 1 deletions
diff --git a/opam b/opam
index fb65f9a..9622fea 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
opam-version: "1.2"
name: "sail-riscv"
-version: "0.3"
+version: "0.4"
maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
authors: [
"Alasdair Armstrong"