Added typed-protocols-examples-0.5.0.0

From https://github.com/input-output-hk/typed-protocols at d127d3ebd1850b7d1aa6eb75c0b040b1f94d0e24
IntersectMBO · Sep 26, 2024 · 94c8283 · 94c8283
1 parent dd0b827
commit 94c8283
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/typed-protocols-examples/0.5.0.0/meta.toml b/_sources/typed-protocols-examples/0.5.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-26T15:16:07Z
+github = { repo = "input-output-hk/typed-protocols", rev = "d127d3ebd1850b7d1aa6eb75c0b040b1f94d0e24" }
+subdir = 'typed-protocols-examples'