SHA512 (netbsd-TX3912.gz) = df3eb4a420497076bc839f82c142cc80da45dca022fbd1dc3465e44499f7dc4192bbfcf045babe5d243b8c314a3f564f7cb061e8c4dc1fee01d6141f542a28ab
SHA512 (netbsd-TX3912.symbols.gz) = e8dc8928e53a334353a359efa5018f3d9b198bbf492f430931486253f6502b9fff53e8abfddf67b367a98f8947827cfdaf430a8e63a3fcaed92ec6c181d45685
SHA512 (netbsd.gz) = 11316cdd4c3bdc6bb47fed0c352251200dcb33512458bd96f091cfd030ac0f83c44f13839c68d8ec4a0e723f80ac32513b001795720ec7bfc37816e42530f0ac
SHA512 (netbsd.symbols.gz) = 65306142333a1ee72f2f1201be66f33bd68f18f386b86c1174c0c10de3c07500890b199502485b7a15e1d6cfd1c23d2aa11c34f08b3d28929216189eefead0d1
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d