647134440 2568031 netbsd-TX3912.gz
396152623 95467 netbsd-TX3912.symbols.gz
1972190188 3017072 netbsd.gz
2864355980 129469 netbsd.symbols.gz
3574316928 119296 hpcboot.exe
226742582 175616 pbsdboot.exe
1335314660 190976 pbsdboot1.exe