Updated typed-protocols

coot · coot · commit a582f82a50b2 · 2022-09-27T12:59:13.000+02:00
After input-output-hk/typed-protocols#10 is merged.
diff --git a/cabal.project b/cabal.project
@@ -16,8 +16,8 @@ package strict-stm
 source-repository-package
   type: git
   location: https://github.com/input-output-hk/typed-protocols
-  tag: aa570239bf1ed7303b730317e89d9a80d214ad38
-  --sha256: 0vfn0cdschyfc9j7cbbmxls0yq588xg2vmsf10bx6wgpxf9wkd2m
+  tag: 254a4f8520ff58bb80bf1468d279391c6002436e
+  --sha256: 1jpdlks39s9yih96kadzb6va0ag7c1l9510a0q98bj7gksng4218
   subdir:
     typed-protocols
     typed-protocols-cborg
