SHA512 (netbsd-TX3912.gz) = 64d7301d7c1bc4f42b0492fcb501cda4f9b3910d0ed1fc4fee5542172ae5a883784cd6511f7ac69801d5dc96da252d53989d5fc9cf18207b2fd35fd4adf76ee7
SHA512 (netbsd-TX3912.symbols.gz) = 71f2ed6a3b626557785b67b40712ebb7f473c55992e529475948f7975fa27fbc539ca38754b79db8da25afebc864fac711f11b89ca83d7c547db3ea163a3c730
SHA512 (netbsd.gz) = 56c155ab2271f3deda9d136b4408dc76ad06dc72aab063f2cb4491286c5c5209d8e450b2c0592f692a8230888df34bc6b3ecacd4d3d33daaa1b5ddd5c012e8a3
SHA512 (netbsd.symbols.gz) = 2542c9e6621bc63220cdb031ad349f0d394d4b0a693f3c83f1aa592520b90e9bcefdf38bd3c5e48bdd033c91e97277d08488b2391f934b3b61a19bacfc8b0931
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d