SHA512 (netbsd-TX3912.gz) = 7fb6d6f6d702e82fa58d7225061cb54d5f4c708ef3e64d37fa6f978f2348218d3e386aeb107ae8e1a560699be41ece9a903e50bb2d10e32d9df57a385cf53acf
SHA512 (netbsd-TX3912.symbols.gz) = c1e1fe8b8705e3cb99f317f2d08b30c82fc67688a0367d907eaf2419f0ea005c48e48a3a8db8e1f2593d8053c0a62137e2b2ea9939c6f502963cae931d5b9ac8
SHA512 (netbsd.gz) = fad7bfb512a87fdfa337290017492bc5c24d178dffec611d33cc89aefa2efd97abbb213c7f8fe08abac07f065a76e532be49407df33a0a2306c9fa536bdd5eee
SHA512 (netbsd.symbols.gz) = e222bc01a54f7ce494575990fe87c15cc0a1aa35b0a1a96dfae14b5fd089ad149964bac4fa894c94fd46b1d6ead709a2d1ef476f1f28edd1b461d258f12762ef
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d