MD5 (netbsd.TX3912.gz) = 5e40d6c60277086a3f5ae911dc2cdf4b
MD5 (netbsd.TX3912.symbols.gz) = 7407d6e64bd0f24a20c6dd3ddc2401e9
MD5 (netbsd.gz) = f6feea8d7e368a069a5fdae2f50f0194
MD5 (netbsd.symbols.gz) = dbc8c357d32fdc5c360163781614d713
MD5 (hpcboot.exe) = c43865d35d290b081a967ec545267ac0
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8