From eebbac4e3314b1bf9e0ec5889ddcb021616bfdc4 Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Fri, 20 Sep 2024 10:59:22 +0200 Subject: [PATCH] Added typed-protocols-examples-0.4.0.0 From https://github.com/input-output-hk/typed-protocols at cd80ff771156ba882a553de3f40ff16ccb6ca588 --- _sources/typed-protocols-examples/0.4.0.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/typed-protocols-examples/0.4.0.0/meta.toml diff --git a/_sources/typed-protocols-examples/0.4.0.0/meta.toml b/_sources/typed-protocols-examples/0.4.0.0/meta.toml new file mode 100644 index 000000000..986bf0043 --- /dev/null +++ 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'