SHA512 (netbsd-TX3912.gz) = c25e2f9bca54180400bacb9f3db3c6ace5ee510b155a70acbc43509b69bde772fe77b9595199456440b57d882f8a4eb61c79019b3b71ffa81d0ac242b052c23e
SHA512 (netbsd-TX3912.symbols.gz) = 74f58f0704a08bd3453e329e712c4a88f557ee4f7e715a4494f28e15a99d0c1cc36f99f43b0fe2fa83070e6be0b355859bf1c9c68000822d58a1c7406dc7a351
SHA512 (netbsd.gz) = 9e22d31a4a2b5c632d3d4c77f64fc7f26647e03c4542c885c763a7ba86cd88a4b9b9bbabd2ffbb586f835e3304edc1fd24c8544c7eeccd981a8231d9c92913d3
SHA512 (netbsd.symbols.gz) = 38ac30c889517fa8f9324ce37fd1f68e03b05222836cbc858e18111b16312b1c8426869024c766d338645621808fd0fdabb53c163285621b214e2918696f86fe
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d