47990 2508 netbsd-TX3912.gz
53482 94 netbsd-TX3912.symbols.gz
53933 2947 netbsd.gz
21835 127 netbsd.symbols.gz
57281 117 hpcboot.exe
65306 172 pbsdboot.exe
1137 187 pbsdboot1.exe