SHA512 (netbsd-TX3912.gz) = 827775fca3b68fe410036822c60c1daae8f245d6f83a077ad30b2ae1cba9e8bd53b6ba43c3d6d05a05b8b5dbe772fc6050e0e4cb3107b9dd47359225d06a9649
SHA512 (netbsd-TX3912.symbols.gz) = d2ba8b44e1a2c36645a8c9464c5d1a7ce09a0dff7674ba73b9ac83c1f83a9af01c933f22fff7158aa112011eaf27c4ea4e140c1240018381215ed007d2f0428b
SHA512 (netbsd.gz) = f435d1b6b0d05a0211486726130966296f73c13c1df1c2526d7260899b0a2449f0e320e0698ba7f5393fb2d3a10e61f416ba83f4bbf5b65f51fbf754dbc709e8
SHA512 (netbsd.symbols.gz) = 73fcffadd24bc9eebc15bdd492cb6c7e6e90af4eac4a26e1c378480817c6e45b3b2e179b48c2f30a15dd8824c2b9641aad15724a3546522711623338cc903580
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d