SHA512 (netbsd-TX3912.gz) = 1d986727b1037696f763a442ec6b16ce6be2cc40b730a45847b735c511f53d320c2e116fe127fd835c3941a90dd644f0e2530e5ffce6c2a4185c5b053f720304
SHA512 (netbsd-TX3912.symbols.gz) = 71f2ed6a3b626557785b67b40712ebb7f473c55992e529475948f7975fa27fbc539ca38754b79db8da25afebc864fac711f11b89ca83d7c547db3ea163a3c730
SHA512 (netbsd.gz) = 228f9908a57e1bdd2415141aa927c692c3eb27c56292a24c9c8a3cc4a998ce9150926c2f9bab468f06d370d4321cd39ebcaab50ef1d80d3937b1a313ab8fd0d9
SHA512 (netbsd.symbols.gz) = 222629dc3af5cc6c157d0df5697c089efb5efc68c5936d420824d5a80b06ae76a91eca92dd9e8b868828192bc1d9b1c5d4f4ee5058bea044765b4483253a7534
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d