SHA512 (netbsd-TX3912.gz) = 3ea403b30fce46f63c7a1e2a339bfc8c1fc8fe4b7539de874b1eb0a1e813b407ff5b5bd3557a9624915b2234beef798d40cdf110eda1ed205c970322f05a4310 SHA512 (netbsd-TX3912.symbols.gz) = ec790e159b403070170b05f3af535a14e522b67cb86dd464b8d3b153909e1990324c5034882648b881e873c995847816146b51ae4f7ce7d4e91a1d5bfe513a50 SHA512 (netbsd.gz) = 50317d5528973e7e0b46aa07798fa15e17aa4383fe60cd10edf19ef1eacff2dcbe7cb9203a8f6d9269c22b9c198135942bdfa4bbf3862a531fdd4e424be52104 SHA512 (netbsd.symbols.gz) = 6e71ccbab1944db3f5a3c8446f37e29f684ccada3c957ef5943c4a7a8f0d20517a9d6c311f85ef112dffc37433a456dc3e3680d5c25be2fafa8f523a6e412bbe SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d