SHA512 (netbsd-TX3912.gz) = 129a9c81b709707dc38143756e9235d87efc54953557253dbae8ebd37f58b63d5cb65bf37d3df8ecdab8fa13dcc8d0cdd870bc0e3c424e7352165237f27b5c5d SHA512 (netbsd-TX3912.symbols.gz) = e1cf8735385e3ebc598bdbd8e6dac5f012d0649630bb87baa814e10dfa9229e59bd9d22993c8019505be4d0f3096e273b5ecdcb72cd4d8b39ce51916bf84308b SHA512 (netbsd.gz) = 3e417094187d84f7f65eefc8ce6b4dd39c6771af44b13aefa4b9b9b66d7758ddbdce3dbde134c9127f8ef59e57878ea10390724eaabf6f2721b9f801a7e6d8b5 SHA512 (netbsd.symbols.gz) = 6a85e94ee4eb00d8969edca6c643093d8327a3a871cbe48bbd05ac1ff44c7c7a4f321d64d9af1b15f8598407a61780ed7611805a16e7d047af917c467e97363a SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d