From 85ae82803c2684cde897aa47064d3ca07be96cea Mon Sep 17 00:00:00 2001 From: Lee Pike Date: Fri, 11 Aug 2017 13:27:02 -0700 Subject: [PATCH] hackage release --- ivory-backend-c/ivory-backend-c.cabal | 2 +- ivory/ivory.cabal | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ivory-backend-c/ivory-backend-c.cabal b/ivory-backend-c/ivory-backend-c.cabal index 9143ea4b..3faeb165 100644 --- 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 index c5a842f7..db3c6839 100644 --- 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