SHA512 (netbsd-TX3912.gz) = 5458fe745e4384a1497764ca12385216591ee68e08494a1f345643f61d7234ebc4e769cf255b2e5859313ba29e6e84e21cac74208d7ae40a5dc460b9505f6654
SHA512 (netbsd-TX3912.symbols.gz) = e984df10e4c94406fe28ba230fadc0c337778c5a866884194f3a75d25996f731d779a90aadf0c3b89623420e1980ee498703592773efff850029ee97c4a968ab
SHA512 (netbsd.gz) = 3b5efebc40c8102d97bd85090f132d64af10db9ec15d00bd11d2c15b70dcfc58ba93e833bf7a120b6c699395ce233fefc76dfeaeb49d371aaedf1d13e168eba0
SHA512 (netbsd.symbols.gz) = ba7a61e3f3d6d6efe89d22cc084c502181ed56434aa6b95f210a2df7f7243d795364b6e7fbce11bef224a33ca70eddda744039049ce1522d2d5df41de48d24ee
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d