SHA512 (netbsd-TX3912.gz) = 7eb483b35e5ab3d7c25f6cab3df549a4cead0b03b52fe39c197d74a04723789c61b87775e0b02e3c677d129d20917aa5e1bbbe485e1146edf28f544d56f01aee
SHA512 (netbsd-TX3912.symbols.gz) = 5aa9c5a30c8c3db6b5ba84e1ab902f2a7aed7249fb6cd5e4ad102d475d80d276cee17cf5192c4a61f4faf285b9a84baa91cce86a42cd1e06d17a12676d1b8cb2
SHA512 (netbsd.gz) = 6f5a56a217333c1f14b273ce9911e1791ce830fab7176e15eeaa0beffa3da60ca252eeafb5d4e3a62c2ad6f05c0a02953da0bc17006c23e1ab1a3a0ea8cfa693
SHA512 (netbsd.symbols.gz) = ffcd9ef6876b076b031f6f6a2e143cf9c18dacb50f064804da6c2127356e90176e9afb245777eb0f6c232a69dd874fc6119a6245cbb0adb3ed6de55cb1cd486d
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d