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'