From e041e7a142d25e4af4992f26d9f5c8e793ecc236 Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Mon, 23 Oct 2023 10:59:59 +0200 Subject: [PATCH] Added typed-protocols-0.1.1.0 From https://github.com/input-output-hk/typed-protocols at e0f008311ce58ea58d61157fa7f93312b6839bd7 --- _sources/typed-protocols/0.1.1.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/typed-protocols/0.1.1.0/meta.toml diff --git a/_sources/typed-protocols/0.1.1.0/meta.toml b/_sources/typed-protocols/0.1.1.0/meta.toml new file mode 100644 index 000000000..ce8b61042 --- /dev/null +++ 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'