SHA512 (netbsd-TX3912.gz) = 90b333a3109d6494fa1478f04f6e1056b874e4692bfd4cd59770b0f86c992c96211b49a0da76a9cd9c15d833927f375dee467c0433ff1f5876d46474629cc351
SHA512 (netbsd-TX3912.symbols.gz) = f1631ac6f1d1d86c3150062fe3e41618e184f464f12ae37815f7d126497afd7521728ca3c58a3e6136f6ec984eb2fd382d63f5b875ec0e31f92ce95e56f1b87c
SHA512 (netbsd.gz) = b516bf67ed8e4ae4250aa06a764aefb725883cde2ac815623dede30e531d302edf4f004b43df3efbd41c3faca3628216870a89842135e425af73dcd9046a889a
SHA512 (netbsd.symbols.gz) = 5b85007ed67d4877b89d32f8c988f57aa7c0fb4d4f83d4ac56994ca17d6bb85efd4555fa900ea45a4ef5dc47e0a7df5d3c856420f90f2f9fb51167a858007781
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d