SHA512 (netbsd-TX3912.gz) = 4d37a02d6f0594bae79b3067a081814acdd66e4e5b7ad51375049dbca7007c09850ddf46c390555e2623f970835119f66c8bc877973bada0c69708396c8c930d
SHA512 (netbsd-TX3912.symbols.gz) = a3ffad6ded886282620ac08a7fd845297926b87c52ac98a1248506af2cb9775fa0694d2630c44b08d5f5720d36023d05c5765c8b3a5f149ef6eaa02da1ea131a
SHA512 (netbsd.gz) = 7dca0260ac3bef4b77e690a5275fee3c9142af753caba2d0840803bfc8906f16d44eda3840ced5a60b0a27d8841b083acf11673159273bb8f521916e07469167
SHA512 (netbsd.symbols.gz) = 05dda6ad6da0d7fd676dbc5387cdcea23e527e08e0ffc167cacbfa98f68009d3d9ac1c95933a3f8e19a1f227739f13d079edece3161d8bcd8c06f7a6b1b5b434
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d