SHA512 (netbsd-TX3912.gz) = 724ea01b9570211d08efd8967b656ae1a95a32d59780e00e954d76282fc185a418970f09bf9f2e4b60f4f406c65f69f1eb582746660955fe3ff3ad00853b4272
SHA512 (netbsd-TX3912.symbols.gz) = 34aa1a7cba25367ea4897a63e877cc22a78cc736214ec37cd0213f88e70dd9662f72a7025ee99aaab1cd6d73f4517d5313d081a506743d14501af4e0323e6fa8
SHA512 (netbsd.gz) = 77a826ba96a73c6a4ee18e7060f34d183e3e82f488eaff5687136b1b7b229516fad2bc6914e9be1365aa44b0687df6bebb28905e272075a43a92f2026c62dc2d
SHA512 (netbsd.symbols.gz) = f110d4d2b610e7924ab82eae8da752b732a8a9dbd04b1c426eeb800c1266df8b0461fe59598422657e1eaf27d83f48a600fc49208e2dd9fa4e9f4eda8ae7a718
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d