From 5d5fbbd0149bee5196d4634414f44d492f784d55 Mon Sep 17 00:00:00 2001 From: teodanciu Date: Wed, 25 Oct 2023 20:30:54 +0100 Subject: [PATCH] Added cardano-ledger-pretty-1.3.3.0 From https://github.com/input-output-hk/cardano-ledger at f4269490502fc928c13a86e71c059d88cb5ac995 --- _sources/cardano-ledger-pretty/1.3.3.0/meta.toml | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 _sources/cardano-ledger-pretty/1.3.3.0/meta.toml diff --git a/_sources/cardano-ledger-pretty/1.3.3.0/meta.toml b/_sources/cardano-ledger-pretty/1.3.3.0/meta.toml new file mode 100644 index 000000000..5d773fa25 --- /dev/null +++ b/_sources/cardano-ledger-pretty/1.3.3.0/meta.toml @@ -0,0 +1,3 @@ +timestamp = 2023-10-25T19:30:47Z +github = { repo = "input-output-hk/cardano-ledger", rev = "f4269490502fc928c13a86e71c059d88cb5ac995" } +subdir = 'libs/cardano-ledger-pretty'