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