SHA512 (netbsd-TX3912.gz) = 2f757607e906013fd0f3f2629863de5395fd0cfd8268d9e83055a975d765d5e8cd3c73e244113bfef3b002e60105b017e198c0dca4afbff88fef2ec89e77d7c5
SHA512 (netbsd-TX3912.symbols.gz) = db7c885353df87eb8144d9ce1929b6fb307ca7ce5f354a6744844bd700a904807480573e7ef7e485e568e792d6293b701b36ad823d2fd6211377db352ec859ff
SHA512 (netbsd.gz) = e54bf2aedb339c1f19664323bd573986180a3f58ce67f5ea2690b56656ab2f7334f7a03ddc44d2e90f4ceb1f706555050690daabaf0b0259a0a589bde6abecef
SHA512 (netbsd.symbols.gz) = 7466585971196a227ca8a3fdfa05fe424c5591d0751f66c923e028c07dca66e9d25f7f11ce294df74e08e9c83ed5265989a50ef9297ef4c528278b7db09a1394
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d