Version constraints

konn · Jan 2, 2025 · de5880f · de5880f
1 parent 44a3447
commit de5880f
Show file tree

Hide file tree

Showing 5 changed files with 3,206 additions and 3,061 deletions.
diff --git a/cabal.project b/cabal.project
@@ -2,6 +2,7 @@ if impl(ghc >= 9.10)
     packages: 
       type-natural.cabal
       https://hackage.haskell.org/package/equational-reasoning-0.7.1.0/candidate/equational-reasoning-0.7.1.0.tar.gz
+      https://hackage.haskell.org/package/ghc-typelits-presburger-0.7.4.1/candidate/ghc-typelits-presburger-0.7.4.1.tar.gz
 else
     packages: 
       type-natural.cabal
diff --git a/ci-configs/ghc-9.10.1.config b/ci-configs/ghc-9.10.1.config
@@ -917,7 +917,7 @@ constraints:
   ghc-typelits-extra ==0.4.7,
   ghc-typelits-knownnat ==0.7.12,
   ghc-typelits-natnormalise ==0.7.10,
-  ghc-typelits-presburger ==0.7.4.0,
+  ghc-typelits-presburger ==0.7.4.1,
   ghost-buster ==0.1.1.0,
   ghostscript-parallel ==0.0.1,
   gi-atk ==2.0.28,
@@ -2530,7 +2530,7 @@ constraints:
   th-constraint-compat ==0.0.1.0,
   th-data-compat ==0.1.3.1,
   th-deepstrict ==0.1.1.0,
-  th-desugar ==1.18,
+  th-desugar ==1.17,
   th-env ==0.1.1,
   these ==1.2.1,
   these-lens ==1.0.2,