SHA512 (netbsd-TX3912.gz) = a67c91fb628d4d4a850ba559304314cae3ee7d22f197acb01e1e4a5eebadebbde525bf18014672f6ac8e3a2efbcf049091066988a8dbd9b50e7700f4ea571d01
SHA512 (netbsd-TX3912.symbols.gz) = 5586be1c063ad4ed89fdad50ac0b80c8f10a5d4cf7a7d1539fef5c0998b75e21294f314a29a1630868435de6e5c24a322a27dd6e6b7fa6b12eacab93bf313080
SHA512 (netbsd.gz) = 83340a04df4fbe6adab18bd8228854df9722d89afb533272a0328749de03d951d64f37cd80eaf418863e4f79e6fe5c87a7cb0cd6f41e58df734f5fcd26640aed
SHA512 (netbsd.symbols.gz) = 1f2eca4e9ffd97ded0d5b4284fc0507385dc68af00ac3b3a2deec89157b33140da02bfeef4a5357996038d854c41a3ccbc69744b0bc565772fe5d8168b5379d0
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d