SHA512 (netbsd-TX3912.gz) = cb45031cb6d99add7d076059369861f50e2648cb580b011dc94b77a463e337ea5ba5fbf3effbfd97ec18a6714af9fbe0a7706c493bd10baddac6f52929e2c887
SHA512 (netbsd-TX3912.symbols.gz) = e0e876ee697bf8bb9e0eec092ce394deef4603ac3fddb41d473bd0872638be105184fafd18f986be84180509cc88346cfe70af366635b57b09086dc1aa010077
SHA512 (netbsd.gz) = 84b2a6860b0e411b73a1451525eabb501e4fe68dda92ebff4bf6a9dfa8dd2c5231af05c70ce06a44b393400999f1370b7ea4ad65709f03afce6a762072ee5c45
SHA512 (netbsd.symbols.gz) = 5a500f32f3dbd63d35af7270c8a1b28fcfe1dc5b6f143bdc0542253972eb0390fcb9f22eea413ff5373e23c613bd32235791ef60ea77364dcfb3adedcfb16fa5
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d