33010 4517 netbsd-TX3912.gz
15558 100 netbsd-TX3912.symbols.gz
16979 5325 netbsd.gz
38304 128 netbsd.symbols.gz
14730 217 hpcboot.exe
6366 343 pbsdboot.exe
59871 373 pbsdboot1.exe