Remove redundant custom cabal build of metatheory (#7488)

bezirg · web-flow · commit 239a3127a848 · 2025-12-15T18:01:27.000+01:00
Co-authored-by: Nikolaos Bezirgiannis &lt;bezirg@users.noreply.github.com&gt;
diff --git a/plutus-metatheory/plutus-metatheory.cabal b/plutus-metatheory/plutus-metatheory.cabal
@@ -17,13 +17,6 @@ data-files:
   README.md
   src/**/*.lagda.md
 
-custom-setup
-  setup-depends:
-    , base
-    , Cabal
-    , process
-    , turtle   >=1.6
-
 common lang
   default-language:   Haskell2010
   default-extensions:
