equational-reasoning 0.2.0.3 → 0.2.0.4
raw patch · 1 files changed
+2/−2 lines, 1 filesdep ~singletonsPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: singletons
API changes (from Hackage documentation)
Files
equational-reasoning.cabal view
@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/ name: equational-reasoning-version: 0.2.0.3+version: 0.2.0.4 synopsis: Proof assistant for Haskell using DataKinds & PolyKinds description: A simple convenient library to write equational / preorder proof as in Agda. license: BSD3@@ -28,6 +28,6 @@ build-depends: singletons == 0.8.* , tagged >= 0.6 else- build-depends: singletons >= 0.8 && < 1.1+ build-depends: singletons >= 0.8 && < 1.2