hackage release

GaloisInc · Aug 11, 2017 · 85ae828 · 85ae828
1 parent ac44629
commit 85ae828
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ivory-backend-c/ivory-backend-c.cabal b/ivory-backend-c/ivory-backend-c.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                ivory-backend-c
-version:             0.1.0.5
+version:             0.1.0.7
 author:              Galois, Inc.
 maintainer:          leepike@galois.com
 category:            Language

diff --git a/ivory/ivory.cabal b/ivory/ivory.cabal
@@ -2,7 +2,7 @@
 --  see http://haskell.org/cabal/users-guide/
 
 name:                ivory
-version:             0.1.0.6
+version:             0.1.0.7
 author:              Galois, Inc.
 maintainer:          trevor@galois.com, leepike@galois.com
 category:            Language