diff --git a/ci/config.cabal.project b/ci/config.cabal.project
index d560112fc526d31292d1131ee450e69ec0954279..68c9380b8453043bf038002e190f921bdfdba4a2 100644
--- a/ci/config.cabal.project
+++ b/ci/config.cabal.project
@@ -3,7 +3,7 @@
 -- ghc/ghc#23048.
 
 index-state:
-    hackage.haskell.org 2023-07-31T12:18:14Z,
+    hackage.haskell.org 2023-10-30T12:18:14Z,
     head.hackage HEAD
 
 constraints: th-abstraction >= 0.4
diff --git a/ci/config.sh b/ci/config.sh
index 8fcbbe83dadd69904028c4f5aa540d52a367ccc2..c590da65ac10439cb85304bd7bf0d76a9d8083ab 100644
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -154,6 +154,7 @@ extra_package generic-random 1.5.0.1
 extra_package lame 0.2.1
 extra_package inspection-testing 0.5.0.2
 extra_package ghcide 2.0.0.1
+extra_package liquidhaskell-boot 0.9.2.5.0
 
 # This package is affected by https://gitlab.haskell.org/ghc/ghc/-/issues/22912
 extra_package vector-space 0.16
diff --git a/patches/Cabal-3.10.2.1.patch b/patches/Cabal-3.10.2.1.patch
new file mode 100644
index 0000000000000000000000000000000000000000..c9cdb7ac151760cd2d8682b47f5af1e8302d4a45
--- /dev/null
+++ b/patches/Cabal-3.10.2.1.patch
@@ -0,0 +1,12 @@
+diff --git a/Cabal.cabal b/Cabal.cabal
+index 9bf2bf1..00988be 100644
+--- a/Cabal.cabal
++++ b/Cabal.cabal
+@@ -46,6 +46,7 @@ library
+     process    >= 1.2.1.0  && < 1.7,
+     time       >= 1.4.0.1  && < 1.13
+ 
++
+   if os(windows)
+     build-depends: Win32 >= 2.3.0.0 && < 2.14
+   else
diff --git a/patches/Cabal-syntax-3.10.2.0.patch b/patches/Cabal-syntax-3.10.2.0.patch
new file mode 100644
index 0000000000000000000000000000000000000000..9a64df63b542bc02f4292c51268067cb9a904e58
--- /dev/null
+++ b/patches/Cabal-syntax-3.10.2.0.patch
@@ -0,0 +1,12 @@
+diff --git a/Cabal-syntax.cabal b/Cabal-syntax.cabal
+index 6efbaea..e8bd0e0 100644
+--- a/Cabal-syntax.cabal
++++ b/Cabal-syntax.cabal
+@@ -45,6 +45,7 @@ library
+     -- See also https://github.com/ekmett/transformers-compat/issues/35
+     transformers (>= 0.3      && < 0.4) || (>=0.4.1.0 && <0.7)
+ 
++
+   if os(windows)
+     build-depends: Win32 >= 2.3.0.0 && < 2.14
+   else
diff --git a/patches/liquid-fixpoint-0.9.2.5.patch b/patches/liquid-fixpoint-0.9.2.5.patch
new file mode 100644
index 0000000000000000000000000000000000000000..a511baf7fc5d9a1bc78ed897cedfe545390abc75
--- /dev/null
+++ b/patches/liquid-fixpoint-0.9.2.5.patch
@@ -0,0 +1,13 @@
+diff --git a/liquid-fixpoint.cabal b/liquid-fixpoint.cabal
+index 26783f4..8070349 100644
+--- a/liquid-fixpoint.cabal
++++ b/liquid-fixpoint.cabal
+@@ -156,7 +156,7 @@ library
+                   , smtlib-backends-process >= 0.3
+                   , stm
+                   , store
+-                  , vector < 0.13
++                  , vector < 0.14
+                   , syb
+                   , text
+                   , transformers