SHA512 (netbsd-TX3912.gz) = 12f0b1a6468239482dc264250ca43ead9e38f9742b4906a6fcdbdff4c6cccc7ef7da767dd7acbe53d389f8e0c2893a32dc112adb550b661f521796d4d2583d9c
SHA512 (netbsd-TX3912.symbols.gz) = 5bbddd0fb2e7f16af7fa09c0e8b6de4cfd59b3d8325d0638bb408db622408f88a9c4790fd553bdc247b7d918d22de8c5226a1b06bd6355dc30bfac565b001194
SHA512 (netbsd.gz) = ebfeb803f1d1981cba8eea765d9eae20008d4f9f07498c71bf62bbd1d1344635271d4e3fa86926ee3b90e0a17ad513b30f588ec8e3645cdcd7ee072b48e53290
SHA512 (netbsd.symbols.gz) = d9b98748fb912157bdbecc6822bc75b4435d676c9751e41246450b95bf801b330ecbf9390e744d83aa3b5e71a0c25c8aa46f7e011be6ff872fdc6ced9bea2386
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d