SHA512 (netbsd-TX3912.gz) = dd116d1c5d970b534bd9719481e5da9ac2f4e6173131e0d5ca1f12aeda6cbbbff262d8df21d7240f71262abe11e17c5f7d33ff1e31b9d5197f898f119b8c74a8
SHA512 (netbsd-TX3912.symbols.gz) = bb9ca440b7e60802b58f92a88d19d639196ba199431b166c733deca9bb1bdee7e625e97f129beea0696f4be7c73510fd1a2eb3f99f8b317d492775947bea4da0
SHA512 (netbsd.gz) = 9b5b2d0e72a33010ee1afbc4b7788d66d91003e86efaf0195a61e9c2143f6f51239aa27f1492647bcde244f5bec35b6dafd3de1ef0b5ba5620fe5b2c4e7b3afe
SHA512 (netbsd.symbols.gz) = 9cf6cf6afc138fc39ad8ea2ec94d461615509c667e46e3bcabe648cf0f677ee8666c2710b5b232dde626e27143bbdd4ef632bb1daea56de293f62063baeb47c4
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d