SHA512 (netbsd-TX3912.gz) = 512834eee8a5438a131c7af49da159a38e5b863fb513be47e6e3c041553d4c7dee001e905d1b5fead91009466d512c86ff751e9725e92d307c710902ee4801b6
SHA512 (netbsd-TX3912.symbols.gz) = f60fb08623a4265ecab5dcfe26a73cedc278ff938e7e197e53417506f28d8d0da020c84d1c39d75c7ac42d035976c5cfa9ceaf5897909efb71732f8ae206bb0e
SHA512 (netbsd.gz) = 2bcc5929877156d830d3c328df8de2e10bdea58e0b381c4c0d47a041c4f6e41700a5f8c43f207b9b74e93336c4f75b3482237ad6fa0e69e1d121a08e1c171744
SHA512 (netbsd.symbols.gz) = b459bca98757c79aa2052899f26d6ad335832919f61dbc1b23e9359f8803b1c06ab6032c66c736886ba5dd2ba8208283359e2f183ce7039aa3105e64a36580c1
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d