SHA512 (netbsd-TX3912.gz) = 19ac83b7dbd3eea4e7435395fecec986f759b5afc5590a259c0d56f5e41a688febddfdc11007d45b93f76f1aaa590a4b316ef9c5386b4783a758b6678edb4f79
SHA512 (netbsd-TX3912.symbols.gz) = 1e999bbcc9ef57e747029ad705fdaed081090cd421db4f9a3ad5e363ec08ec7773d9f9c79de00f0980f1b824a659403f7cfbe8630fe2e6c4ef73757b863b67d5
SHA512 (netbsd.gz) = 5153a41be09047982eb1c520502529ae5b4926e9bbefdf79897c450d4e4795ce0394dc33ea01a4cb6d29159f3cde137205e1655e024fc9ddd55a8913998c0d1d
SHA512 (netbsd.symbols.gz) = d7c83973900baf4c183fd06e1fe58a7f530fc674bca72397c203267a456fa9eac08b0fbdf1b3dd908e40ea620d89c8fef58b92f8a829fdca95ece994e2a7ee12
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d