SHA512 (netbsd-TX3912.gz) = be5c36001b379511daff437146263fb23c13383f77722c6246908d845b296155e1b02d24aa7f675abe21fb832bfbc7636870edc21b6a95ab5f06bbaa9569760c
SHA512 (netbsd-TX3912.symbols.gz) = 4a666f7d4d0009ca64f16bab3a26bf3f44ef4ae7a27439fa0005b00b2cf76c8299a16d1d8ed8eac5ef9b611216372f98fad597b854f6719548e2aa5ebd2f7aee
SHA512 (netbsd.gz) = e835648469d31177880e428a427b03af2c50eea34ea84c501a71e0ffb7729a160ac32c17ef9f80bc942107cc8c1f48e9f9ad8ef04f11b3d016e752d42351267e
SHA512 (netbsd.symbols.gz) = 6ccc3d6e45a9a30289755fa35f5f0405ce20acaea4e533a5ee6d0ccbded0bd91be936b0b2e907acd4b459c71c019088290d109f1e6ddaecbb9aab8c7b585820f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d