diff --git a/liquid-parallel.cabal b/liquid-parallel.cabal
--- a/liquid-parallel.cabal
+++ b/liquid-parallel.cabal
@@ -1,6 +1,6 @@
 cabal-version:      1.24
 name:               liquid-parallel
-version:            3.2.2.0.1
+version:            3.2.2.0.2
 synopsis:           LiquidHaskell specs for the parallel package
 description:        LiquidHaskell specs for the parallel package.
 license:            BSD3
@@ -12,19 +12,15 @@
 homepage:           https://github.com/ucsd-progsys/liquidhaskell
 build-type:         Custom
 
-data-files:           src/Control/Parallel/Strategies.spec
-
 custom-setup
-  setup-depends: Cabal<4, base<5, liquidhaskell
+  setup-depends: Cabal<4, base<5, liquidhaskell-boot
 
 library
-  exposed-modules:    Control.Seq
-                      Control.Parallel
-                      Control.Parallel.Strategies
+  exposed-modules:    Control.Parallel.Strategies_LHAssumptions
   hs-source-dirs:     src
-  build-depends:      liquid-base          < 4.16
+  build-depends:      base          < 5
                     , parallel             >= 3.2.2.0 && < 3.3
-                    , liquidhaskell        >= 0.9.0.2
+                    , liquidhaskell        >= 0.9.2.5
   default-language:   Haskell2010
   default-extensions: PackageImports
   if impl(ghc >= 8.10)
diff --git a/src/Control/Parallel.hs b/src/Control/Parallel.hs
deleted file mode 100644
--- a/src/Control/Parallel.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-module Control.Parallel (module Exports) where
-
-import "parallel" Control.Parallel as Exports
diff --git a/src/Control/Parallel/Strategies.hs b/src/Control/Parallel/Strategies.hs
deleted file mode 100644
--- a/src/Control/Parallel/Strategies.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-module Control.Parallel.Strategies ( module Exports ) where
-
-import "parallel" Control.Parallel.Strategies as Exports
diff --git a/src/Control/Parallel/Strategies.spec b/src/Control/Parallel/Strategies.spec
deleted file mode 100644
--- a/src/Control/Parallel/Strategies.spec
+++ /dev/null
@@ -1,3 +0,0 @@
-module spec Control.Parallel.Strategies where
-
-assume withStrategy :: Control.Parallel.Strategies.Strategy a -> x:a -> {v:a | v == x}
diff --git a/src/Control/Parallel/Strategies_LHAssumptions.hs b/src/Control/Parallel/Strategies_LHAssumptions.hs
new file mode 100644
--- /dev/null
+++ b/src/Control/Parallel/Strategies_LHAssumptions.hs
@@ -0,0 +1,8 @@
+{-# OPTIONS_GHC -Wno-unused-imports #-}
+module Control.Parallel.Strategies_LHAssumptions where
+
+import Control.Parallel.Strategies
+
+{-@
+assume Control.Parallel.Strategies.withStrategy :: Control.Parallel.Strategies.Strategy a -> x:a -> {v:a | v == x}
+@-}
diff --git a/src/Control/Seq.hs b/src/Control/Seq.hs
deleted file mode 100644
--- a/src/Control/Seq.hs
+++ /dev/null
@@ -1,3 +0,0 @@
-module Control.Seq (module Exports) where
-
-import "parallel" Control.Seq as Exports