MD5 (netbsd-TX3912.gz) = e153fcb71efbd57d4f86b4a9aa19b0fd
MD5 (netbsd-TX3912.symbols.gz) = d97e31fbe72fafe46aa40ade49e287b5
MD5 (netbsd.gz) = 2dce0ad74e38200d7d1eec913c23ad6d
MD5 (netbsd.symbols.gz) = 9615bd48a2af521dd1734942ecc16c19
MD5 (hpcboot.exe) = 9c4073db4cb8cc5a534f709731e271bf
MD5 (pbsdboot.exe) = 5c184fc062316a94d8408adf0884bee2
MD5 (pbsdboot1.exe) = 4d6c719c61a98aae297369c41e3991a8