SHA512 (netbsd-TX3912.gz) = 30c6ad42ae18123e553fd16de110d30795646b266798ecf5b1f5c54ac64d4a78d9f08b8456f273cd033f4d1a257e9a3e725ced9c0543034d1625a190efa402f2
SHA512 (netbsd-TX3912.symbols.gz) = e9d71f93a169828d6fc75133f9c164d58322009643c8d8bfff4245c1a35b8a36ba3f701dd80996dee79717950752a48c4673fc0726daceacfe3c5b8a627f141a
SHA512 (netbsd.gz) = 3a066bdfa4dbc6ebfdd12ae9a48171f862e01090477de9c56c2a650fe8a1611a432fb4e030b3c635b943b81e90c8b39b1527ead1400bdb6c4df57d7b4e2d9e1a
SHA512 (netbsd.symbols.gz) = e19d4196d1fc53629cbb4b6dce3ae5e7d9fd12bf384947908856277363f3acac2c12495429b740347ff067243f7d655be9f8680221c7b4d6d077a3a1440ea901
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d