SHA512 (netbsd-TX3912.gz) = bad8f7fe8f46903852fa7c5275dd86f142dba790779321463e59bad66eeee30a413cc33e31168862a94b30d603feb4c7bbdd44a758da09e94960a993e1fde9e3
SHA512 (netbsd-TX3912.symbols.gz) = 8057ef7e77fa6a2af7ac08ae8791778538005ba49debe08ed8c09c027544f910edddc9958bce6467e3f0b615acc67f4386dd7ab0ca754d6553c743bd552d9d5e
SHA512 (netbsd.gz) = aed7841a5e8c8e0d0a1ba32e1934dad531c3d7a473a6e774e125c37d2349da7ad8f8d7eb6cbd4c3e0a1e507306f639622394cb550bc01d9bec1df7877a1cff3b
SHA512 (netbsd.symbols.gz) = 7f655b57e2af1b517b87e6476a3ec126c40658129c9ce6a1e88ba73ad75767a115e2aec76586b13306d6267fac4d037e57662d32f86f562c47b29765f4398bc8
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d