Added ouroboros-consensus-0.1.0.2

From https://github.com/input-output-hk/ouroboros-network at e9330845f1df5348d04bc6eb50c8ad62530589b2
IntersectMBO · Nov 10, 2022 · 56ea369 · 56ea369
1 parent 555ec40
commit 56ea369
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/ouroboros-consensus/0.1.0.2/meta.toml 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'