diff --git a/cabal.GHC710.config b/cabal.GHC710.config
index 30816efd..4be14b8b 100644
--- a/cabal.GHC710.config
+++ b/cabal.GHC710.config
@@ -1355,7 +1355,6 @@ constraints: abstract-deque ==0.3,
              prelude-extras ==0.4.0.3,
              prelude-safeenum ==0.1.1.2,
              preprocessor-tools ==1.0.1,
-             presburger ==1.3.1,
              pretty installed,
              pretty-class ==1.0.1.1,
              pretty-hex ==1.0,
@@ -1567,7 +1566,6 @@ constraints: abstract-deque ==0.3,
              smallcaps ==0.6.0.4,
              smallcheck ==1.1.1,
              smoothie ==0.4.2.6,
-             smtLib ==1.0.8,
              smtp-mail ==0.1.4.6,
              snap ==0.14.0.7,
              snap-core ==0.9.8.0,
diff --git a/cabal.GHC80.config b/cabal.GHC80.config
index 3e5aebd6..29a639f0 100644
--- a/cabal.GHC80.config
+++ b/cabal.GHC80.config
@@ -1451,7 +1451,6 @@ constraints: abstract-deque ==0.3,
              prelude-extras ==0.4.0.3,
              prelude-safeenum ==0.1.1.2,
              preprocessor-tools ==1.0.1,
-             presburger ==1.3.1,
              pretty installed,
              pretty-class ==1.0.1.1,
              pretty-hex ==1.0,
@@ -1670,7 +1669,6 @@ constraints: abstract-deque ==0.3,
              smallcaps ==0.6.0.4,
              smallcheck ==1.1.1,
              smoothie ==0.4.2.6,
-             smtLib ==1.0.8,
              smtp-mail ==0.1.4.6,
              snap-core ==1.0.1.0,
              snap-server ==1.0.1.1,
diff --git a/cabal.GHC82.config b/cabal.GHC82.config
index 92d797c1..74b13fd4 100644
--- a/cabal.GHC82.config
+++ b/cabal.GHC82.config
@@ -81,7 +81,6 @@ constraints: Cabal -bundled-binary-generic,
              optparse-applicative ==0.14.2.0,
              parallel ==3.2.1.1,
              parsec ==3.1.13.0,
-             presburger ==1.3.1,
              pretty ==1.1.3.3,
              primitive ==0.6.3.0,
              process ==1.6.1.0,
@@ -97,7 +96,6 @@ constraints: Cabal -bundled-binary-generic,
              semigroups ==0.18.4,
              semigroups +binary +bytestring -bytestring-builder +containers +deepseq +hashable +tagged +text +transformers +unordered-containers,
              simple-smt ==0.7.1,
-             smtLib ==1.0.8,
              statistics ==0.14.0.2,
              stm ==2.4.5.0,
              strict ==0.3.2,