SHA512 (netbsd-TX3912.gz) = 1c1268b0e4b316a9e494b867948c678e58635a164fa34324648d74cdd0abb75e342ef8cb4f3be792fcf18ee83edf07c538cf29a91b5bbe45407e52a25e223bec SHA512 (netbsd-TX3912.symbols.gz) = 489ed5a03a6f4238745b898e86922bbe54664c1cb859da079912f1dcabf3b9006fdd566c4a2fe74c428bfb8a68eed24082d1eb4aea023ff234ebe34d2b867177 SHA512 (netbsd.gz) = 014387cc2dd46f70cbe3ca94697d25e8f8222ed09c6c97543ca02c09e788d139c8baa196ef714d72d1486f89c1d4a673f429340ab8dc46e695c66632819513b5 SHA512 (netbsd.symbols.gz) = 4d64bdab1363c60d97cc1a09ff0c541d2da7b56bc1621998340987ec4ec0725c7086bcf836e4957441afc33be7c860a58265b3702d11416969f2ba19b10d1fe4 SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d