aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Norton <rmn30@cam.ac.uk>2019-06-03 13:03:13 +0100
committerRobert Norton <rmn30@cam.ac.uk>2019-06-03 13:03:23 +0100
commit69b805540e868a7d097a28d6a7e84bcc30d628bc (patch)
tree67d963a748ab3042f97ecd7cc3ec0495f089e5a2
parent743e8cd65137c1d8417037ee0d2ab44b653a05a9 (diff)
downloadsail-riscv-0.3.zip
sail-riscv-0.3.tar.gz
sail-riscv-0.3.tar.bz2
Bump opam version for release with installed model code.0.3
-rw-r--r--opam2
1 files changed, 1 insertions, 1 deletions
diff --git a/opam b/opam
index e3b2f91..fb65f9a 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
opam-version: "1.2"
name: "sail-riscv"
-version: "0.2"
+version: "0.3"
maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
authors: [
"Alasdair Armstrong"