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