SHA512 (netbsd-TX3912.gz) = f416e6eff53828fa0b190c694725df48d2e7ecf8f964113fd0398272c60c47aa5d95d9a976bb4119015fff282606b92d9e50aeda56f57c2349c8d789be6cbe31
SHA512 (netbsd-TX3912.symbols.gz) = de9a55eecdaf62ebc8100f4b787f892287e83ad3086ef197887232947d063a9f552bcf839ee8ce01e7b63ea9e700721b6dbe2f050443c7da36cae0a2375b75db
SHA512 (netbsd.gz) = a513d41b3b29ee6d24bbf7e08f65b7f78bb646b4b93c308478607ec1ce272bd1f5247d863a1c18ac4bfe6918c39305afdfa84f5379c30f670e4c4cad8fd497fc
SHA512 (netbsd.symbols.gz) = 3bb4a9a53b6c0c817fd7983fb1ac8393810f5c1d771de3ee5db8855509ef9829c625fe6f4a616d9fef97c402e5ff9abe62edbdad2896c2e8b5707031f21e4042
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d