Added typed-protocols-examples-0.4.0.0

From https://github.com/input-output-hk/typed-protocols at cd80ff771156ba882a553de3f40ff16ccb6ca588
IntersectMBO · Sep 20, 2024 · eebbac4 · eebbac4
1 parent 16f99c0
commit eebbac4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/typed-protocols-examples/0.4.0.0/meta.toml b/_sources/typed-protocols-examples/0.4.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-20T08:59:22Z
+github = { repo = "input-output-hk/typed-protocols", rev = "cd80ff771156ba882a553de3f40ff16ccb6ca588" }
+subdir = 'typed-protocols-examples'