SHA512 (netbsd-TX3912.gz) = cf02b36bdc58e024eff5809eb65d1b3e1f306d9c9a6e08d88ffb3762b2cd206d3a57c6282932ddc3f4e4272cabff36c63e1d6af17b25b57940647ac9fe867cd6
SHA512 (netbsd-TX3912.symbols.gz) = e1cf8735385e3ebc598bdbd8e6dac5f012d0649630bb87baa814e10dfa9229e59bd9d22993c8019505be4d0f3096e273b5ecdcb72cd4d8b39ce51916bf84308b
SHA512 (netbsd.gz) = 81065c7d74d8778dcc651fc5034097d70c6b4fde53dd6b0de0dc216df82923607ad0cb2c01ce8697d2697fcef743b80b7501cabd10b7cbd0a5d55ea16b275aaf
SHA512 (netbsd.symbols.gz) = 6a85e94ee4eb00d8969edca6c643093d8327a3a871cbe48bbd05ac1ff44c7c7a4f321d64d9af1b15f8598407a61780ed7611805a16e7d047af917c467e97363a
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d