SHA512 (netbsd-TX3912.gz) = 03882f9bbf23141b0dd4b273496b410776ae2bac44ca7da59bce0de941db426a9d87295d5189f58fa7208a84e7fc1c390a8b3a59d134cfb405b1df0a4392454e SHA512 (netbsd-TX3912.symbols.gz) = eb1b33575e8b82bd3545b3baaf6d037bbe9e5095cd07ae47b39e2b63cbd7571619efb5a2ed3230280c052a10b865e3ee52788c77ae55b3f84011331b7a673a4f SHA512 (netbsd.gz) = 2baabec387426a94b66e3a0448a349efcfa6eee5d7f650b826ee5db1eca0fda1dc0b0864b0fc6b4b04f6b34789eed53bb7db8dd4f61663c600f77213fa8cf227 SHA512 (netbsd.symbols.gz) = dc55e3854e34edd97c3f85188ae5e06486888b2a3fd077ac95d6ca8381d290d2fee120d97b53c5050ca262f2991a5dc49bf39b7fb195c7fe4f62ecfef90b0926 SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102 SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d