[775K 10-Aug-2026 20:02] .
[ 60K 10-Aug-2026 20:02] ├── site
[420K 10-Aug-2026 20:02] ├── cardano-ledger.pdf
[273K 10-Aug-2026 20:02] ├── conway-ledger.pdf
[ 17K 10-Aug-2026 20:02] └── typecheck.time
771K used in 2 directories, 3 files
Automatically generated from commit 193d64037d4cdb8680530510881d56f8be85389c on branch master