[808K 05-Aug-2025 04:50] .
[ 52K 05-Aug-2025 04:50] ├── html
[ 48K 05-Aug-2025 04:50] ├── site
[420K 05-Aug-2025 04:50] ├── cardano-ledger.pdf
[273K 05-Aug-2025 04:50] ├── conway-ledger.pdf
[ 11K 05-Aug-2025 04:50] └── typecheck.time
804K used in 3 directories, 3 files
Automatically generated from commit 6348a1a4cb47eb0b388cfddf351ed1eae3203a6d on branch master