SHA512 (netbsd-TX3912.gz) = 004db7240e6ad81100732e79af45c1be9677032fdddeb04b2142ed176af4aaeab5f561d66f973096fb8a769840bf64d40a855348319ec622e9aa41e481fbafc9
SHA512 (netbsd-TX3912.symbols.gz) = 2f9ecc683c8f3cf6d35787bcd1ce278b1924bf63d9f3000a9eb07b8be6b36317953f6f2f564237ea1c62d9453f5365c90d73de59d80c8599ac560254027b129f
SHA512 (netbsd.gz) = c1ea32b9c8189ed0d7a8fd3d30993ec3b11127e6a301c64a841998f2a952468688f77e7a281978d3f8100bd986abbe3fab640238cbfdaaab1c6bda0e612899c8
SHA512 (netbsd.symbols.gz) = b9701837562ae3033b39a23c651dd653fef8e1cbe99deeb6412616fb6ba53ac8cb36ace81aaf93387124eb50b215c2683f1184191530e60989c57216c29f0bac
SHA512 (hpcboot.exe) = 2edb930297e2e1febd724c474745ddc9d581bb0d92bfa9f8212394518723b331e471c1cd775b78201236b3d7b17f548d456a524e988a3b5acc4c67270f987638
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d