Update materialized and fix more constraints

cabal.project

@@ -85,10 +85,16 @@ package marlowe-runtime
   ghc-options: -Werror
 
 -- TODO remove all these constraints when packages specify their own constraints
+-- The reason we need to specify these explicitly is that this is the
+-- dependency set against which cardano-api-1.35.4 was built. However,
+-- cardano-api-1.35.4 was not published on CHaP until 2022-11-17, and in the
+-- intervening time, several new versions of packages were published to CHaP that
+-- are incompatible. This would not be necessary if downstream libraries
+-- specified constraints in their cabal files, but as of yet, they do not.
 constraints:
     algebraic-graphs < 0.7
   , HSOpenSSL >= 0.11.7.2
-  , Win32-network >= 0.1.0.0
+  , Win32-network == 0.1.0.0
   , base-deriving-via == 0.1.0.0
   , bimap >= 0.4.0
   , byron-spec-chain == 0.1.0.0
@@ -99,38 +105,55 @@ constraints:
   , cardano-crypto == 1.1.1
   , cardano-crypto-class == 2.0.0.0.1
   , cardano-crypto-praos == 2.0.0.0.1
+  , cardano-crypto-test == 1.3.0
   , cardano-crypto-tests == 2.0.0.0.1
   , cardano-crypto-wrapper == 1.3.0
   , cardano-data == 0.1.0.0
   , cardano-ledger-alonzo == 0.1.0.0
   , cardano-ledger-babbage == 0.1.0.0
+  , cardano-ledger-byron == 0.1.0.0
   , cardano-ledger-byron-test == 1.3.0
   , cardano-ledger-core == 0.1.0.0
+  , cardano-ledger-pretty == 0.1.0.0
   , cardano-ledger-shelley == 0.1.0.0
   , cardano-ledger-shelley-ma == 0.1.0.0
+  , cardano-ledger-shelley-test == 0.1.0.0
   , cardano-prelude == 0.1.0.0
   , cardano-protocol-tpraos == 0.1.0.0
   , cardano-slotting == 0.1.0.0
   , hasql < 1.6
   , heapwords == 0.1.0.1
   , hedgehog >= 1.0
+  , io-classes == 0.2.0.0
+  , io-sim == 0.2.0.0
   , libsystemd-journal >= 1.4.4
   , measures == 0.1.0.0
   , network >= 3.1.1.0
+  , network-mux == 0.1.0.0
   , orphans-deriving-via == 0.1.0.0
+  , ouroboros-consensus == 0.1.0.0
+  , ouroboros-consensus-byron == 0.1.0.0
   , ouroboros-consensus-cardano == 0.1.0.0
   , ouroboros-consensus-protocol == 0.1.0.0
   , ouroboros-consensus-shelley == 0.1.0.0
+  , ouroboros-network == 0.1.0.0
+  , ouroboros-network-framework == 0.1.0.0
+  , ouroboros-network-testing == 0.1.0.0
   , plutus-core == 1.0.0.1
   , plutus-ghc-stub == 8.6.5
   , plutus-ledger-api == 1.0.0.1
   , plutus-tx == 1.0.0.0
   , plutus-tx-plugin == 1.0.0.0
   , prettyprinter-configurable == 0.1.0.0
   , protolude < 0.3.1
+  , set-algebra == 0.1.0.0
   , small-steps == 0.1.0.0
+  , small-steps-test == 0.1.0.0
   , strict-containers == 0.1.0.0
   , systemd >= 2.3.0
+  , typed-protocols == 0.1.0.0
+  , typed-protocols-cborg == 0.1.0.0
+  , typed-protocols-test == 0.1.0.0
   , word-array == 0.1.0.0
 
 

nix/pkgs/haskell/hls-darwin.sha

@@ -1 +1 @@
-14xpabyjprfxvj7gj87nqd7jg1ikjw64y5b7wm3fylq2px0i4j74
+0zh1qs37lh0mgmqbglrfn9fsqb3pqhfzb1vrwxwklir98f7998b2

nix/pkgs/haskell/hls-linux.sha

@@ -1 +1 @@
-17n4ccfxka96016gww6n0kqpv8yx70z7vi589fqajj3w3bnink1h
+0gizz5hlr5dhvyv3m7bw2x5j3acihq2j7s04ab1b5pg5gz3mcvr2