SHA512 (netbsd-TX3912.gz) = 846937f742827886bcda2d0aff91b9f43618b35ae6a0172dbc1b6e8bb2261815855498d0c156a93937ae5484aa9ce3577811bb3107e1603ff99909ae7a661319
SHA512 (netbsd-TX3912.symbols.gz) = c487836ab0832f68f75b9f47779553dfa28f4c705c81de45e5219529d76f40e91d032e4caa20c6ab1e371877e078194248a42bf16ab01c6a95863f01e1b57beb
SHA512 (netbsd.gz) = 43f893b999d6ce6d27bee6d82503fdd0f45cad40a0b9f0bfcf5c405bbfdce10a6fc129870f22f9a08878f623fd5a00bb82aa5118947bdb093ff7dab315cbc04f
SHA512 (netbsd.symbols.gz) = b81480dd0f94b57bed2975405c18da74229fb44822abcfd33a9dc107d4f011dc308117e151587fcb2eb6ab07b72e94559335b1a0e330c8230a17ea48b35a2e21
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d