From 22bdcf2e58e0bc1e5f58b9fd3f462a3b380fad4a Mon Sep 17 00:00:00 2001 From: Robert Norton Date: Tue, 22 Jan 2019 15:48:52 +0000 Subject: Bump opam version for release. --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'opam') diff --git a/opam b/opam index 023285ef..01408b43 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "sail" -version: "0.6" +version: "0.7" maintainer: "Sail Devs " authors: [ "Alasdair Armstrong" -- cgit v1.2.3 From f83ce0e08e2b18125d50820634cb8aa2328e6402 Mon Sep 17 00:00:00 2001 From: Robert Norton Date: Wed, 23 Jan 2019 17:12:01 +0000 Subject: Minor opam release to fix #26. Also includes new unrolling pragma. --- opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'opam') diff --git a/opam b/opam index 01408b43..9fb32ee4 100644 --- a/opam +++ b/opam @@ -1,6 +1,6 @@ opam-version: "1.2" name: "sail" -version: "0.7" +version: "0.7.1" maintainer: "Sail Devs " authors: [ "Alasdair Armstrong" -- cgit v1.2.3