SHA512 (netbsd-TX3912.gz) = 5cfcac9ed2333ccd8341a59e613975c0c9c75d77f2ce4e3c01374a4f72733f718d16d9cbe425c2fc8c9deb832f59fab5e38c87e12bb309b60b69f398592b3be0
SHA512 (netbsd-TX3912.symbols.gz) = 3ae6e69c222a22a01447bb0c920246efbf2ed312d632169704901ec5dac722b1db2fa2dfe67e2bcd9809a5100c8f4ab9822f6d378a3d709e69925c7999df7fa6
SHA512 (netbsd.gz) = 3a4209d34d5691c4fc3fb9335b1bf77a1c10d5e3df9bc7bbdf41b7b16a52eda1a1ae8ed1f68703e3059eef3311c5229a82b653129283c25cd06786b3c97d4d0c
SHA512 (netbsd.symbols.gz) = e38d66025c5386a7d4618df6d81b421ad0c39e8d188aba99839f64b3dd754cbaa2b7223a575b4647b87337b57b2e1846ab2961c8006fb33234f278090c0f0d99
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d