SHA512 (netbsd-TX3912.gz) = 6e3dc58381a8d8a158208e6f0738824ca5146250de712a67bbc7632a9c40e631678d275a84e9e78b162397202a215702956c34541df6a5ca6354d677c0bf1a2c
SHA512 (netbsd-TX3912.symbols.gz) = 489ed5a03a6f4238745b898e86922bbe54664c1cb859da079912f1dcabf3b9006fdd566c4a2fe74c428bfb8a68eed24082d1eb4aea023ff234ebe34d2b867177
SHA512 (netbsd.gz) = 14357d1b95fbec703cc32ebca1d39fdcce7b73ae9e1309fb20aa70923718a9a0261efd902300834ce04655a6b5f22db57ec674a44aaba259227b90a25c89dbdf
SHA512 (netbsd.symbols.gz) = 4d64bdab1363c60d97cc1a09ff0c541d2da7b56bc1621998340987ec4ec0725c7086bcf836e4957441afc33be7c860a58265b3702d11416969f2ba19b10d1fe4
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d