040000 tree d46744e9cc92ee7d67d2a7f457af389ffdeb0bfe	gdb
040000 tree ea28c5678a239347043d14f558daa47975eb6465	info
040000 tree 74ac0d04c1f836050006690bdea9280ce458d476	man
040000 tree 0f19a31ef6a6b549de9e9706cd39e816a653c6b0	pretty-printers