Added typed-protocols-0.1.1.0

From https://github.com/input-output-hk/typed-protocols at e0f008311ce58ea58d61157fa7f93312b6839bd7
IntersectMBO · Oct 23, 2023 · e041e7a · e041e7a
1 parent 5f76aa1
commit e041e7a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/typed-protocols/0.1.1.0/meta.toml b/_sources/typed-protocols/0.1.1.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-10-23T08:59:58Z
+github = { repo = "input-output-hk/typed-protocols", rev = "e0f008311ce58ea58d61157fa7f93312b6839bd7" }
+subdir = 'typed-protocols'