SHA512 (netbsd-TX3912.gz) = dc50b6a30205c31219efbcf523117c498f5ae51b73d640cb9e65c5766e0adf44c16878f26b79626e85d04a4116d520045cc9b93b4a86f346d7d144b186204ae5
SHA512 (netbsd-TX3912.symbols.gz) = d94910ad12aeeccfd92f83a633e99481d93fe853cb697a56b5c28328f1be5073d0e234340d5e18438b7ba2ae993760e6bb967f1c14ab0bb4d9bc2d02bce140a8
SHA512 (netbsd.gz) = 54929dde1a8d3ffcf7bd1f10f16d8d20123cac2d9baba306000f344d7f5e7851fe2cf65dd8377fefc671c8fe27b9c31c545fe474561ca854ce7eb9d348949a10
SHA512 (netbsd.symbols.gz) = 54154658bb030d85e54c9ae77f6bea5c43ced2a50e9fedb953a0d3b3a49f9b95d529304de8cdc00ea881ef5ebc52e129027a79b0db0af1e7ad2acc38136d76f0
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d