SHA512 (netbsd-TX3912.gz) = d6ee023b86041cb0913cac3e137e382283e147f5777de6df181eb938a7f9912c919abd01f3e092be91f7ed2a3f03ffd563c0f7530044274802d53da21193cf24
SHA512 (netbsd-TX3912.symbols.gz) = 8057ef7e77fa6a2af7ac08ae8791778538005ba49debe08ed8c09c027544f910edddc9958bce6467e3f0b615acc67f4386dd7ab0ca754d6553c743bd552d9d5e
SHA512 (netbsd.gz) = 8a86d9e012459b59ee4e7f5c2e32fef8954adc90edb11319945ed34be3d626531881f9c09e1c149ebf898bb672deac2e70b29c9fc4bfa444c79b7b71c61d3d6a
SHA512 (netbsd.symbols.gz) = 04d1413410d9ad9e168d4d5b522804b9806033f365299d554ecc887ead957fa3830e207afdc2a72cdeb707b479000fd04ac36ec51467d3512fa61356066749cb
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d