diff --git a/_sources/ouroboros-consensus/0.1.0.2/meta.toml b/_sources/ouroboros-consensus/0.1.0.2/meta.toml new file mode 100644 index 000000000..5053de556 --- /dev/null +++ b/_sources/ouroboros-consensus/0.1.0.2/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2022-11-10T09:25:21Z +github = { repo = "input-output-hk/ouroboros-network", rev = "e9330845f1df5348d04bc6eb50c8ad62530589b2" } +subdir = 'ouroboros-consensus'