SHA512 (netbsd-TX3912.gz) = 12edfdcae49e1816ce2c516b5c1141541e5479f938862905d597f1a9c31273f01e005e5f20f2c5ddf063698a7ccbbd5287b1f16ec6932632c346afb5961217df
SHA512 (netbsd-TX3912.symbols.gz) = 6746788e44ab5bb5ba006f7c79ec519f113e49f2954683fa3c563aaa08bdfe375d869a053e918708b42cd6beceb68f4f7fc3979773277423fe57ce3e7fa8c87d
SHA512 (netbsd.gz) = 9e204f0ab62059c5b6ea5392c7c82bc3cb675f2e39196f8901d97cb9837bf97c2ac6035cec8cd827fc69da07b9fcc5e393c8c67dd91c8729a2ec84742d5c6675
SHA512 (netbsd.symbols.gz) = f99aba7b9584bedc688f8ad856cf03003fd0250d6d4ea0b1f02c3db68dad1d468b9597966ac1a491dffd6dda70195402303d36c95e089b4b6a4500f49a804ef3
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d