Added cardano-ledger-allegra-1.4.0.0

From https://github.com/input-output-hk/cardano-ledger at 3b0819882f4aa28d2857433b5787c92a643a5cf9
IntersectMBO · Mar 27, 2024 · 281f1fd · 281f1fd
1 parent 0b5530a
commit 281f1fd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/cardano-ledger-allegra/1.4.0.0/meta.toml b/_sources/cardano-ledger-allegra/1.4.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-03-27T17:45:59Z
+github = { repo = "input-output-hk/cardano-ledger", rev = "3b0819882f4aa28d2857433b5787c92a643a5cf9" }
+subdir = 'eras/allegra/impl'