26259 5015 netbsd-TX3912.gz
33480 187 netbsd-TX3912.symbols.gz
8084 5893 netbsd.gz
61021 253 netbsd.symbols.gz
19994 233 hpcboot.exe
6366 343 pbsdboot.exe
59871 373 pbsdboot1.exe