SHA512 (netbsd-TX3912.gz) = 250d45055a099fda27e1b66634e60c28c9cd18dafa5cb2b51e754e5d0d3a096aa203c308d9b80d465dcb8613a83fab16b96f8455817fd4a3685c252bd248b297
SHA512 (netbsd-TX3912.symbols.gz) = 708ef0bd41f41c2a196e69483b2f0c9149ec515d44ecd92df16945927933d419c70f06dd34af11b7090949667e3522d2310cdcdc3519585f3aade6207cadb53e
SHA512 (netbsd.gz) = f7a33c954843782b494255b6adc11cffcf6d9d42ed840eef1b5ae040b5daecd8f350bac26f88eb098e424bab3e1f3e3fc3ec117331785f61d97d9e1b9c078664
SHA512 (netbsd.symbols.gz) = a651d768a9fc862314f10493562ddf8e94ca35bd53c18a4ce0304ca44d23a231bdd80a37002ad8009159ec28eafffb9e48dfd91fdb5ed63b915abbccba94f815
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d