SHA512 (netbsd-TX3912.gz) = b53a71c6ba2310ed4e3f078330e119eb940ac1fc4bdfa387824f619858e26c7a9a615b7f4965afbbda95d92fdc7d33ec5419b0958b88efe7c1e1a3071f5b97bf
SHA512 (netbsd-TX3912.symbols.gz) = d94910ad12aeeccfd92f83a633e99481d93fe853cb697a56b5c28328f1be5073d0e234340d5e18438b7ba2ae993760e6bb967f1c14ab0bb4d9bc2d02bce140a8
SHA512 (netbsd.gz) = 792be1414de2dfcb2483609b8324164cce5e0e284e05f6461e0d25e96676c02a2a2b05e663cb7a3f0c9ee6212157d2f3929c1381b9fa34251d179e0340c9f627
SHA512 (netbsd.symbols.gz) = 54154658bb030d85e54c9ae77f6bea5c43ced2a50e9fedb953a0d3b3a49f9b95d529304de8cdc00ea881ef5ebc52e129027a79b0db0af1e7ad2acc38136d76f0
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d