Migrate constrained-generators to its own repo

.github/workflows/haskell.yml

@@ -215,7 +215,6 @@ jobs:
         - cardano-ledger-shelley-test
         - cardano-ledger-test
         - cardano-protocol-tpraos
-        - constrained-generators
         - non-integral
         - set-algebra
         - small-steps

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:
@@ -60,7 +65,6 @@ packages:
   libs/cardano-ledger-test
   libs/plutus-preprocessor
   libs/ledger-state
-  libs/constrained-generators
   libs/cardano-ledger-repl-environment
 
 program-options

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"