MD5 (netbsd-TX3912.gz) = 2a53b1c4d237627e078bf63979cc8be0
MD5 (netbsd-TX3912.symbols.gz) = 201263e07ae7ee523159dffb58e2bef8
MD5 (netbsd.gz) = da37c8cc17b7df4311958d8dc18820a5
MD5 (netbsd.symbols.gz) = e2d10b900718e2bb88369a7dffdfbe3f
MD5 (hpcboot.exe) = 9c4073db4cb8cc5a534f709731e271bf
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8