SHA512 (netbsd-TX3912.gz) = a498f4102042a967ef451f13c1fbca8a9ccf91f65232bd04cdfb65eb327f3c85f205cb15423b48aff830eedc9bc046668f168487e086e048cc4f0928d7299c07
SHA512 (netbsd-TX3912.symbols.gz) = deb263b8ba74ea3439f04d55b1e108e84a31eab672b94e29ea2a33add306d58426b10b87b84fa1988fcb439b125736a803e38982f0bd0841c3bf4e9a64c38c10
SHA512 (netbsd.gz) = 14f9cb2679fac0ecded2a04c8da788ebf15d2a627abcdf9df20652aa55c71cae03822c2255dd3281df075dde9b366b87036ed7662d000832cb734050b1e4eea7
SHA512 (netbsd.symbols.gz) = 77046ab3e430c41db72882cd7bb7d9f5bcdf39831a2f3db845e9bcbf4efa410fee82370e3e38b5908cab527c735ce41c195b1a0fdac58d371a2b3ae5bac8ebb4
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d