wip

Author: zeme-wana

plutus-benchmark/plutus-benchmark.cabal

@@ -577,7 +577,7 @@ library agda-internal
     , base               >=4.9   && <5
     , criterion
     , plutus-core        ^>=1.48
-    , plutus-metatheory
+    , plutus-metatheory  ^>=1.48
 
 benchmark validation-agda-cek
   import:         lang, ghc-version-support, os-support,

plutus-conformance/plutus-conformance.cabal

@@ -106,5 +106,5 @@ test-suite agda-conformance
     , base                >=4.9   && <5
     , plutus-conformance
     , plutus-core         ^>=1.48
-    , plutus-metatheory
+    , plutus-metatheory   ^>=1.48
     , transformers

plutus-executables/plutus-executables.cabal

@@ -111,7 +111,7 @@ executable uplc
     , optparse-applicative
     , plutus-core                      ^>=1.48
     , plutus-core:plutus-core-execlib
-    , plutus-metatheory
+    , plutus-metatheory                ^>=1.48
     , prettyprinter
     , serialise
     , split
@@ -125,7 +125,7 @@ test-suite test-simple
   build-depends:
     , base
     , extra
-    , plutus-metatheory
+    , plutus-metatheory  ^>=1.48
     , process
 
   build-tool-depends:
@@ -142,7 +142,7 @@ test-suite test-detailed
     , directory
     , extra
     , plutus-core        ^>=1.48
-    , plutus-metatheory
+    , plutus-metatheory  ^>=1.48
     , process
     , tasty
     , tasty-hunit

plutus-metatheory/plutus-metatheory.cabal

@@ -380,7 +380,7 @@ executable plc-agda
   main-is:        Main.hs
   build-depends:
     , base
-    , plutus-metatheory
+    , plutus-metatheory  ^>=1.48
 
 test-suite test-NEAT
   import:         lang, os-support, ghc-version-support
@@ -394,7 +394,7 @@ test-suite test-NEAT
     , mtl
     , plutus-core                      ^>=1.48
     , plutus-core:plutus-core-testlib
-    , plutus-metatheory
+    , plutus-metatheory                ^>=1.48
     , size-based
     , Stream
     , tasty
@@ -416,7 +416,7 @@ test-suite test-certifier
     , plutus-core
     , plutus-core:plutus-core-testlib
     , plutus-core:untyped-plutus-core-testlib
-    , plutus-metatheory
+    , plutus-metatheory                        ^>=1.48
     , process
     , tasty
     , tasty-hunit

plutus-tx-plugin/plutus-tx-plugin.cabal

@@ -87,7 +87,7 @@ library
     , mtl
     , plutus-core            ^>=1.48
     , plutus-core:plutus-ir
-    , plutus-metatheory
+    , plutus-metatheory      ^>=1.48
     , plutus-tx              ^>=1.48
     , prettyprinter
     , template-haskell