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