diff --git a/opentheory-probability.cabal b/opentheory-probability.cabal
--- a/opentheory-probability.cabal
+++ b/opentheory-probability.cabal
@@ -1,5 +1,5 @@
 name: opentheory-probability
-version: 1.49
+version: 1.52
 category: Formal Methods
 synopsis: Probability
 license: MIT
@@ -11,14 +11,14 @@
 homepage: http://opentheory.gilith.com/?pkg=probability
 description:
   Probability - this package was automatically generated from the
-  OpenTheory package probability-1.49
+  OpenTheory package probability-1.52
 
 library
   build-depends:
     base >= 4.0 && < 5.0,
     QuickCheck >= 2.4.0.1 && < 3.0,
     opentheory-primitive >= 1.6 && < 2.0,
-    opentheory >= 1.193 && < 1.200
+    opentheory >= 1.193 && < 1.201
   hs-source-dirs: src
   ghc-options: -Wall
   exposed-modules: