SHA512 (netbsd-TX3912.gz) = 78fb3d52552a127332fe1aa8d3c473ee00a6f837de3c2a9752c06fda927972e9183705725fa447ca6eba004d4e2f2f1c6ad4ee8086b5a1b0e5061c74eeba5106
SHA512 (netbsd-TX3912.symbols.gz) = 34aa1a7cba25367ea4897a63e877cc22a78cc736214ec37cd0213f88e70dd9662f72a7025ee99aaab1cd6d73f4517d5313d081a506743d14501af4e0323e6fa8
SHA512 (netbsd.gz) = aba1c38c162cdca8e3d23198f389390e27c634de631748809c2ec2b80be460d41ba7c3f13da5f79e41b8b386264b44a0de9d9c42df3798f255cd4c52de39ab2f
SHA512 (netbsd.symbols.gz) = f110d4d2b610e7924ab82eae8da752b732a8a9dbd04b1c426eeb800c1266df8b0461fe59598422657e1eaf27d83f48a600fc49208e2dd9fa4e9f4eda8ae7a718
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d