SHA512 (netbsd-TX3912.gz) = c7641595a87340fc158fc4afbfc7234b782a38086b9c9d63bc63da09a119cd9e64c9192cb8bb73b9b81d0f9cee281be3ad10385fd417d4cdeb6621ffa10bcd30
SHA512 (netbsd-TX3912.symbols.gz) = 489ed5a03a6f4238745b898e86922bbe54664c1cb859da079912f1dcabf3b9006fdd566c4a2fe74c428bfb8a68eed24082d1eb4aea023ff234ebe34d2b867177
SHA512 (netbsd.gz) = ad2904b0b3323d12532f3112f660c6a7edd7a8d8b734baac2fc31f5ac03b3bdccaf0c5039ff005e11fdc1124e545d0ad57f300db2730429338530086f1be6e0e
SHA512 (netbsd.symbols.gz) = 4d64bdab1363c60d97cc1a09ff0c541d2da7b56bc1621998340987ec4ec0725c7086bcf836e4957441afc33be7c860a58265b3702d11416969f2ba19b10d1fe4
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d