From b48b40e461f336df3afeb904d1f3c5324f4cd722 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Thibaut=20P=C3=A9rami?= <thibaut.perami@ens.fr>
Date: Mon, 15 Jun 2020 11:16:12 +0200
Subject: Release version 0.5

---
 opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'opam')

diff --git a/opam b/opam
index 43f5b57..a53d108 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "sail-riscv"
-version: "0.4"
+version: "0.5"
 maintainer: "Sail Devs <cl-sail-dev@lists.cam.ac.uk>"
 authors: [
   "Alasdair Armstrong"
-- 
cgit v1.1