Migrate constrained-generators to its own repo

Author: MaximilianAlgehed

cabal.project

@@ -18,6 +18,11 @@ source-repository-package
   -- MAKE SURE THIS POINTS TO A COMMIT IN `*-artifacts` BEFORE MERGE!
   tag: 28d3fd4876bbfa347f5eb89a6b70ee15dc9b327f
 
+source-repository-package
+  type: git
+  location: https://github.com/input-output-hk/constrained-generators.git
+  tag: 35b625eaeaa0953710c0a07add0673fdde5fa052
+
 -- NOTE: If you would like to update the above,
 -- see CONTRIBUTING.md#to-update-the-referenced-agda-ledger-spec
 index-state:

hie.yaml

@@ -303,24 +303,6 @@ cradle:
     - path: "libs/cardano-protocol-tpraos/test"
       component: "cardano-protocol-tpraos:test:tests"
 
-    - path: "libs/constrained-generators/src"
-      component: "lib:constrained-generators"
-
-    - path: "libs/constrained-generators/examples"
-      component: "constrained-generators:lib:examples"
-
-    - path: "libs/constrained-generators/testlib"
-      component: "constrained-generators:lib:testlib"
-
-    - path: "libs/constrained-generators/test"
-      component: "constrained-generators:test:constrained"
-
-    - path: "libs/constrained-generators/bench/Main.hs"
-      component: "constrained-generators:bench:bench"
-
-    - path: "libs/constrained-generators/bench/Constrained/Bench.hs"
-      component: "constrained-generators:bench:bench"
-
     - path: "libs/ledger-state/src"
       component: "lib:ledger-state"