Added cardano-protocol-tpraos-1.0.3.4

From https://github.com/input-output-hk/cardano-ledger at bbdfc3fdb6487653f23385c3df1c9c575bf567cf
IntersectMBO · Aug 17, 2023 · 5e84301 · 5e84301
1 parent 184a6e7
commit 5e84301
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/cardano-protocol-tpraos/1.0.3.4/meta.toml b/_sources/cardano-protocol-tpraos/1.0.3.4/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2023-08-17T16:07:17Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "bbdfc3fdb6487653f23385c3df1c9c575bf567cf" }
+subdir = 'libs/cardano-protocol-tpraos'