0.2.5: fix for ghc 7.4.1, adding Eq constraints

conal · Oct 24, 2012 · ae74b24 · ae74b24
1 parent 91035b5
commit ae74b24
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/type-unary.cabal b/type-unary.cabal
@@ -1,5 +1,5 @@
 Name:                type-unary
-Version:             0.2.4
+Version:             0.2.5
 Cabal-Version:       >= 1.6
 Synopsis:            
   Type-level and typed unary natural numbers, inequality proofs, vectors