SHA512 (netbsd-TX3912.gz) = febd68ad4b86b394c019692e4f03913b785d014b68f7b4668fe02c67264ea3540905e57219e0ccaf77281ae70424d4fca9ec3e46cc16a36ffced563576c2b590
SHA512 (netbsd-TX3912.symbols.gz) = 296419f07f1c19d791147a80bcbcaf4f0bfbabed0e6e53231c10bad5f2e096e3a74298a07cae394fcf54d7adafeb72f2de26c53d08e0de4e5c18d36280d4e141
SHA512 (netbsd.gz) = 5db0c39b9c2110b15f1c970878834cdec29cf3c7e090e88eaaccac354efe771118443f9a39bb77efb6cfccb53aef9d703c9996187ef24b043a6009eab6acf24f
SHA512 (netbsd.symbols.gz) = 9391365b89354d21bf62f10429502039b8f54507b01728d708b6bf79c3aa0a99c934203b34ef4511d20e5725e0e75b6b99b1c6a293f7642b67dfe7ddef1e8d74
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d