SHA512 (netbsd-TX3912.gz) = c07a973b688d1962d082b080f1866210cac64df238e0068506bb2886392883437d3ff92314b7bc4a3de293f3a1e75e759ffdc2f6529616aed7b338d2ee94b86f
SHA512 (netbsd-TX3912.symbols.gz) = 79f516494ce9837c175f76c267e82fc3372d47cb7139b1e8606cff30b12512439a557e7005e97c6342882e9dc9dad4e2052775345219544451bd3ae81b5f5351
SHA512 (netbsd.gz) = ed3c5bbf7eda3c566e41c983934c60eb103fcc132bf68f69d21b06fc4f20a6cfa67f560a68e562dcb905ff2d115a4d33935f59f689232b88f4cb82c660572f4b
SHA512 (netbsd.symbols.gz) = 12c0265980c962f52004696d7e133af28f1a7ec5893ff046ac853d77bb8798999767b7c77bc3a54214c5e15a6e7cd056a1d89be43be7fa02d6dd9bf00e4081b1
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d