[775K 30-Jul-2026 15:27] .
[ 60K 30-Jul-2026 15:27] ├── site
[420K 30-Jul-2026 15:27] ├── cardano-ledger.pdf
[273K 30-Jul-2026 15:27] ├── conway-ledger.pdf
[ 18K 30-Jul-2026 15:27] └── typecheck.time
771K used in 2 directories, 3 files
Automatically generated from commit 665fb89a138bea8a6117e96c767ab28288ffa886 on branch master