copilot-sbv 0.5 → 0.6

raw patch · 1 files changed

+3/−3 lines, 1 filesdep ~sbvPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: sbv

API changes (from Hackage documentation)

Files

• copilot-sbv.cabal +3/−3

@@ -1,6 +1,6 @@ cabal-version             : >= 1.10 name                      : copilot-sbv-version                   : 0.5+version                   : 0.6 synopsis                  : A compiler for CoPilot targeting SBV. description               :    The Copilot back-end targeting SBV <http://hackage.haskell.org/package/sbv>.@@ -30,7 +30,7 @@  source-repository head     type:       git-    location:   git://github.com/niswegmann/copilot-sbv.git+    location:   http://github.com/leepike/copilot-sbv.git  library   default-language        : Haskell2010@@ -38,7 +38,7 @@   ghc-options             : -Wall -fwarn-tabs   ghc-prof-options        : -auto-all -caf-all -  build-depends           : sbv >= 1.0+  build-depends           : sbv >= 1.0 && <= 1.3                           , base >= 4.3 && < 5                           , containers >= 0.4                           , copilot-core