SHA512 (netbsd-TX3912.gz) = e59e81b9c85f33f9de263866185e0e882a0c48fcc91ab4c284441a769888ec4aea90835cf0ba2529e43bfcf49de4fc8720b83ed31de63cbd224a8dc375380d93
SHA512 (netbsd-TX3912.symbols.gz) = 1ecd737dfb350ae357960ed7960015ba715fb6ff0812947b4acf50e29e32f1f821bf8fa9b6b9836caccc4e2d207a9d8b1216d86965510a0c2b7d3a1565181c6c
SHA512 (netbsd.gz) = e310e6dee911cd15e2c1ca5a7343ff1caa31ab42a4e8fbc30335a48d4d0aaf7e9a2f15f0f07334b8f19907d59f242f7a7dde13599d281a9bc2e98c69b8272005
SHA512 (netbsd.symbols.gz) = c017ead55704106c1fca00edf04e82181ea10d76ea8ae8905a55728e09d8fbda138a589f91772dcdae8a10199bff92eff13de2c1e5bb8a373a18954ee5f15fcf
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d