From 94c82833c9dbf155721c95e64273a0357e351e4b Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Thu, 26 Sep 2024 17:16:08 +0200 Subject: [PATCH] Added typed-protocols-examples-0.5.0.0 From https://github.com/input-output-hk/typed-protocols at d127d3ebd1850b7d1aa6eb75c0b040b1f94d0e24 --- _sources/typed-protocols-examples/0.5.0.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/typed-protocols-examples/0.5.0.0/meta.toml diff --git a/_sources/typed-protocols-examples/0.5.0.0/meta.toml b/_sources/typed-protocols-examples/0.5.0.0/meta.toml new file mode 100644 index 000000000..404e5af64 --- /dev/null +++ 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'