SHA512 (netbsd-TX3912.gz) = 59a4320cb87f9c5a9ee3a5cc02de100782c739fae14b464eadbac4ba7b4545d510bfdb52542fd660c009030574beb8e0200851e19384d86604368841ade28fb9
SHA512 (netbsd-TX3912.symbols.gz) = a6a5f949effef7acf5870f89acdaca462fc142137916a0fc5a2ee0ebd835b60617fe30ddf8fcc4d76e0707628d0156b4990b38952b81467551b06642197d2287
SHA512 (netbsd.gz) = 58d3e61b000b5a8f7394c520ea8bfdb0187d0e3995b610f36179cdd887d1d4f14a053e31f0e70d5c52b5c144a39aca10b1792ab55a8c814963609d6885756fc1
SHA512 (netbsd.symbols.gz) = e252044c3b274a862d30135b5545ca6fe6b7b0d9d7c9fab6e2d4b1ff526890d95499a3e7cf43836e6018aa4f523d0f7fd6fb469ca7da87912026d5512cd1705f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d