SHA512 (netbsd-TX3912.gz) = 1c23a2757e62285c42bb471db16ef0f0f231d072b054619606d6b8bf2f692e38e18066ffb63ff1b2729e22a84cd196788f40308809f3451b66df6c54b0270da2 SHA512 (netbsd-TX3912.symbols.gz) = 82529d4c2e348f209b349bf1666190b6e2b65327f472fd18138bd5ae4eed0b61e0d65a95a274a5d3b6bde2a25af653e82afa2eab8ee403cc86038a36f0b8c4a3 SHA512 (netbsd.gz) = 3b5ffb2c3a11f2c60b39d5961d1d1edd6e245e6175a9f70c2026cfda5d8d11d66fb79a5c8ce8152dfe04296ad6df55d6bc89a99f7aec770be613561e85b9de87 SHA512 (netbsd.symbols.gz) = 0379076cafd517bca45804e7e789ceecf1c672d2bf7d69520b3b520ca8818249bbdd6b21659c8910667add8022751b92c6d5524dafaf78dbbe1a5b3eda7a0972 SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d