SHA512 (netbsd-TX3912.gz) = a015b724f1b2be47aeda97625880cd289dba62c2893e916e09a6146a4ed2ae7fabd444992eaae9b29b8b8a3dad21ac402e25a0adaf2836c3002bf457900071f4
SHA512 (netbsd-TX3912.symbols.gz) = fd14e919a9e24dc43fa2ca1f53fe3553e8656688e9d13aafcba8094e5b471e541599232f23310c1035db0ac0fb4d9b0a6b8756133b9c878df39ea878d4446781
SHA512 (netbsd.gz) = 5203e1d99abd472cd4774e983b5371ba6810ad7669f34e0248d2e3526f2fab5f6d23aaeb8556b55dc4f863947b93aae4a680773c1146ff482c7af849bbe55493
SHA512 (netbsd.symbols.gz) = 183676f2b78bc0ed76c7933bbc1824df8b0011cae10e73985c1b0e9fb23b87da2030710b26414e6e095ed666102b3e8180d2f6715b0a8c36642fd61a45647225
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d