SHA512 (netbsd-TX3912.gz) = 5656fdeafe8a96370d2580ae07b0d9b6744e3388d0fb06c48fcba52450c24eddae2b0e0de26d524d7e067650826363e1f7f8e798fdd168fcc8bdd9185080dfa4
SHA512 (netbsd-TX3912.symbols.gz) = 708ef0bd41f41c2a196e69483b2f0c9149ec515d44ecd92df16945927933d419c70f06dd34af11b7090949667e3522d2310cdcdc3519585f3aade6207cadb53e
SHA512 (netbsd.gz) = 547b7d8cd20a8679962c2bbd95ffb70d051df99a7e8db0070404e194c6b49244e0f5fbe71ce2d4bc4beb42387904d9c27c78736666af9706a46f79ab093d4818
SHA512 (netbsd.symbols.gz) = a651d768a9fc862314f10493562ddf8e94ca35bd53c18a4ce0304ca44d23a231bdd80a37002ad8009159ec28eafffb9e48dfd91fdb5ed63b915abbccba94f815
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d