SHA512 (netbsd-TX3912.gz) = c358581e528a77f6e1d8f496442b30a895febff4a5a2f6c1854aa4de2509f43797cfd00d14faae28a11c7856d71a58828692bc4cafbf8160c758c4365094eb08
SHA512 (netbsd-TX3912.symbols.gz) = a6a5f949effef7acf5870f89acdaca462fc142137916a0fc5a2ee0ebd835b60617fe30ddf8fcc4d76e0707628d0156b4990b38952b81467551b06642197d2287
SHA512 (netbsd.gz) = ff88ee5deb28f61d6ef9f17925948386135ce97c67be6f26ad566db850eb89207c9787fba200d8986f888a02215b530af1bb4557f84cd97f6b4f1ab06878e849
SHA512 (netbsd.symbols.gz) = e252044c3b274a862d30135b5545ca6fe6b7b0d9d7c9fab6e2d4b1ff526890d95499a3e7cf43836e6018aa4f523d0f7fd6fb469ca7da87912026d5512cd1705f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d