diff --git a/liquidhaskell-boot/liquidhaskell-boot.cabal b/liquidhaskell-boot/liquidhaskell-boot.cabal
index 3b0e7d95ed..88444e3f96 100644
--- a/liquidhaskell-boot/liquidhaskell-boot.cabal
+++ b/liquidhaskell-boot/liquidhaskell-boot.cabal
@@ -15,6 +15,8 @@ homepage:           https://github.com/ucsd-progsys/liquidhaskell
 build-type:         Simple
 tested-with:        GHC == 9.8.1
 
+extra-source-files: tests/specfiles/pos/*.spec
+
 source-repository head
   type:     git
   location: https://github.com/ucsd-progsys/liquidhaskell/