SHA512 (netbsd-TX3912.gz) = a0c0044bbee684a0dfbb19c32712735d4435a1480178b9360323562c3754431eb5ef940ff9445f2ece5403c65aba3a731afd700a19ae9dc8fde46d0fdecf78bc
SHA512 (netbsd-TX3912.symbols.gz) = dd38a37078136d7410e82b5886f51938bfd108b338ed17b9d9e47e717c4cd3e400057bebc24bfef2118238ddf62cd16f9a3362b9254b92d0515cf4a7de84ed83
SHA512 (netbsd.gz) = 36a80369a7abf8b584469fa7428394de19be3d43f5e6d777809b2d2753eccc6b45f95853707053c933f96391adb40313a643bdfdc8adf9440ddaffb7f7e4fac8
SHA512 (netbsd.symbols.gz) = 034db11ca60392cf703e1a8e134a4c0e17fbb09aae60b642081835bc6e5da498ca23eec5e02dfb92e9339c38fb7a661171099778a56c331799d5570ad76f8564
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d