tip-haskell-frontend 0.1 → 0.1.1

raw patch · 2 files changed

+10/−2 lines, 2 filesdep ~tip-lib

Dependency ranges changed: tip-lib

Files

• changelog +5/−0
• tip-haskell-frontend.cabal +5/−2

@@ -0,0 +1,5 @@+tip-haskell-frontend 0.1.1 (released 2015-06-11):+* Relax dependency on tip-lib to >= 0.1.1 && <= 0.2.++tip-haskell-frontend 0.1 (released 2015-06-10):+* Initial release.

@@ -1,5 +1,5 @@ name:                tip-haskell-frontend-version:             0.1+version:             0.1.1 license:             BSD3 license-file:        LICENSE author:              Dan Rosén@@ -12,9 +12,12 @@ bug-reports:         http://github.com/tip-org/tools/issues category:            Theorem Provers +extra-source-files:  changelog+ source-repository head   type:     git   location: http://github.com/tip-org/tools+  subdir:   tip-haskell-frontend  library   exposed-modules:@@ -51,7 +54,7 @@                        bytestring >=0.9.2,                        split >=0.2,                        geniplate-mirror >=0.7.1,-                       tip-lib == 0.1,+                       tip-lib >= 0.1.1 && < 0.2,                        QuickCheck >= 2.8  executable tip-ghc