SHA512 (netbsd-TX3912.gz) = be32f027d329ec09be1c37a42e24d2a62dbba48139361e66327887125709ec463945c3690e57d4974ecf8f2c675b7fe1a23c43ab58e468e33960f1dafd38c712
SHA512 (netbsd-TX3912.symbols.gz) = 38dc752ab461fbb2105a69dfe7da6af25ca51141222544c026b3cd26f9eb07cbcabbec95f2d85e8b66e5755a3c3153e34e9118d124dc783cfe2fc1fe5b968820
SHA512 (netbsd.gz) = c4ceb8629ae8a0c5a8409969b9f6ec28088da9114be01e6e062a06f86f128aaf517ab74cac8f566e68008fc620215d11f1eae3d6ead752f2734cdef26d57c52b
SHA512 (netbsd.symbols.gz) = cd2b47cd255c1b95187b5f9bc79cad0823fcbe94ab17d384af15b1d347f9a6389228f0b107160b1c9c27bd9c10b4e88eb87bee697726af4dc6c642287e7cb4f3
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d