diff --git a/changelog b/changelog
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+1.1.1
+* Add `Predicate` and `Op` instances
+
 1.1
 * Add `cardinality :: Tagged a Natural` to Finite
 * Re-arrange packages, ghc boot instances are in `universe-base`
@@ -5,9 +8,9 @@
 * Add `Data.Universe.Generic`
 * New package `universe-dependent-sum`
 
-1.0:
+1.0
 * split package into small pieces:
-    * six packages, all dependencies of a top-level "universe" package
-    * a base installation requires many fewer dependencies
+* six packages, all dependencies of a top-level "universe" package
+* a base installation requires many fewer dependencies
 * moved Data.Universe.Instances to D.U.I.Base for consistency
 * modules export the classes that they export instances of
diff --git a/universe.cabal b/universe.cabal
--- a/universe.cabal
+++ b/universe.cabal
@@ -1,5 +1,5 @@
 name:               universe
-version:            1.1
+version:            1.1.1
 synopsis:           A class for finite and recursively enumerable types.
 description:
   A class for finite and recursively enumerable types and some helper functions for enumerating them
@@ -41,7 +41,7 @@
     Data.Universe.Instances.Reverse
 
   build-depends:
-      universe-base                >=1.1 && <1.1.1
-    , universe-instances-extended  >=1.1 && <1.1.1
-    , universe-reverse-instances   >=1.1 && <1.1.1
-    , universe-dependent-sum       >=1.1 && <1.1.1
+      universe-base                >=1.1   && <1.1.2
+    , universe-instances-extended  >=1.1.1 && <1.1.2
+    , universe-reverse-instances   >=1.1   && <1.1.1
+    , universe-dependent-sum       >=1.1   && <1.1.1