Added ouroboros-consensus-cardano-0.8.0.1

From https://github.com/input-output-hk/ouroboros-consensus at 42dbbf4b5daed4c6d3cc047690535c5bdcf6ff81
IntersectMBO · Aug 21, 2023 · a36b3a6 · a36b3a6
1 parent 71366d8
commit a36b3a6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/ouroboros-consensus-cardano/0.8.0.1/meta.toml b/_sources/ouroboros-consensus-cardano/0.8.0.1/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-08-21T16:55:07Z
+github = { repo = "input-output-hk/ouroboros-consensus", rev = "42dbbf4b5daed4c6d3cc047690535c5bdcf6ff81" }
+subdir = 'ouroboros-consensus-cardano'