SHA512 (netbsd-TX3912.gz) = c5107fe4d886b0b4f861239ed1494f09a41b249c4fdb040f0170f4786f407a3eaf6ffa74bb52290c2fa26f2fe63c22379c96354b0660c355fefea9fa5182ed14
SHA512 (netbsd-TX3912.symbols.gz) = 823b04c55007fb403ca92bd7ccf390cfb59c7acfdf0b813cf72e2c0da9098d5bef349a68208a58594d16cf5a3bbabc74d3b10f22ce311da7f36437b027151898
SHA512 (netbsd.gz) = 5f380450a7e7969592774ee208675965c9ede827752497fef930fc0097f8c4e89ffe7c1c40ac471c00c1a815b23d7ee3fc9b79e9dd07723da6143fedf2bfd478
SHA512 (netbsd.symbols.gz) = 5ba2d9fb15ac2578caa673811ce6f119e03a704736ca5f4c5bc4f48aa41631a56fab46a4a4b5ae41b9730214af70fddc963c77ab74aeb101f5590ddfffd57119
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d