SHA512 (netbsd-TX3912.gz) = d58b001c34ccd8b301ba70d91a9616d51af4df24d55f378d7515eff87c17a0fe858e111aca49eba14383ba53fd11c404f52d34fda4cb8931bba6b933821a051f
SHA512 (netbsd-TX3912.symbols.gz) = a11616ca0d7932e8ce8ab42a5ceb2e4ac66837542cbc7b94ebf024cc3dbbf2d77b630cc1d14aaa113d82b90062fd3ada32a25608425d43012b4414f7150aa5af
SHA512 (netbsd.gz) = c1400fdecb26d38369ee11a4534c06dde4d53393b120b1d60e214d728e01c50b25e530a3d2b997d7d4d1e6979e16459a626a29dd68ccab8b9627e415c9606b0f
SHA512 (netbsd.symbols.gz) = 4524bdfde8d9857e123395c8860ed26ef44c0f22cf3f98d4689e1ad160c4794fb92a6e0d8b4f836e5aaa57d86f4cdce81bbf97402c3cebb3a488d7952ff72d43
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d