SHA512 (netbsd-TX3912.gz) = 78a83c555df23f7990fb297dd9a21277157527b56b4544ae57cc7c9b0ee6858e5f26fd5657ac79e7b58d7e5549e50baa70af3872cebc1cc7bbe4e0eb5ae3c542
SHA512 (netbsd-TX3912.symbols.gz) = 3f984ec2b2e95f1545fa3abfa51e69b21d84ab4366fd7f939612e59bc412b559576f866f55457e466dae4838e296d108545c9a3ba281b8bab8629247b5bbd247
SHA512 (netbsd.gz) = 508e5895f2adc2c9b69150f03a121d7cb6213ec57996bd60c03a6419062b3877d77c2da0b2c02d2dadd3ce6031c61f6fff6613a08c4e0bbaf39158a6393b8bea
SHA512 (netbsd.symbols.gz) = 9c9f24f40c05231263ece682cfadf5d8c8bc6d07778b5e46d50056626be024ddc4ba083879865f67fa0e480a089770cac485b22b25019e71a42012be4145e12b
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d