SHA512 (netbsd-TX3912.gz) = 99322f838263377b5066b5c396c78da8bac02a044c4fc28f519339d17aeee3218cc31e0f9781f1c822a2f5732fbba046c0ebc912f6684b34edacafc32d475f37
SHA512 (netbsd-TX3912.symbols.gz) = e833e3a235f88acb4cb98f3d2551b3e9f6f780db0f93093551b6510f27eb098abec3968dfc9ebfe732d6bccc923fd22c82c52a56bc33e829e0a64f3868e551cb
SHA512 (netbsd.gz) = df2da545082c9cd3a63fb8cc913643414fb2a252d0242cbef7efb51f5997b844c1cba4d36b62737b11d0ad754c3b3228b4679294dbfac5c958c8e3860d2db4dd
SHA512 (netbsd.symbols.gz) = 55869cfdbed38e120e28c61096338e2127ffc25f8ce6705244c5b4fa0ed2e8db975f8a7084b6c97f8b29fd750158ad29e27679163132360f02890c869d4bda33
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d