Added ouroboros-consensus-cardano-0.12.0.0

From https://github.com/input-output-hk/ouroboros-consensus at 8f078d66fa45b7c3d59d72e9e766f3853b8f1713
IntersectMBO · Nov 15, 2023 · 0bc6234 · 0bc6234
1 parent 3333420
commit 0bc6234
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/ouroboros-consensus-cardano/0.12.0.0/meta.toml b/_sources/ouroboros-consensus-cardano/0.12.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-11-15T14:27:11Z
+github = { repo = "input-output-hk/ouroboros-consensus", rev = "8f078d66fa45b7c3d59d72e9e766f3853b8f1713" }
+subdir = 'ouroboros-consensus-cardano'