SHA512 (netbsd-TX3912.gz) = 11f95cba5f01c9242c5a35e338a6b80a718a106cf3fd1703d232843a901886a9c1264d27e48ceaaaba1f8f0c0196b2a55601ce031d8ac0535522601c4582af6f
SHA512 (netbsd-TX3912.symbols.gz) = 854cbec142b6b675498498d94d4910e4d4b7b2bacad5ed0d2812006e2fd16be22421418aab2a97f3008b8b79e5e6d4a862455996afc45944c4d0ea52df5a432e
SHA512 (netbsd.gz) = 05e35c2aa9728a4d97d8aede5fae982f75142b16d2d32b9f2af3fff2f50d40b2ac7a7979c58fc6ab68e565893c0ef3176d99be2f085ae844128a1ebc5e7ad010
SHA512 (netbsd.symbols.gz) = d68b70b2aed247bcd760ef91fa9cac25eb43d0450732ed4c5b6c58ab158b9d3832af3f70356b384c540577bec0fbd989e3be7b050a777f3e6d46a9cf05a6172f
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d