SHA512 (netbsd-TX3912.gz) = d614aa23346d971b101026e41a02edda14012150f6daffcbc3407505523ea11867634ecc998cf6e1fabf37c3c214df3ce702bcb634c05ea09cdb7e4bbfb9fb30
SHA512 (netbsd-TX3912.symbols.gz) = 3df9a2e6cf0aeb6076951d0bc151e03bba1546e8ea0f3b2d1397068ffce23988f39a2b5475e7503fa558d9ba056b45d6a5c630e40a2acbae2e991480fc1accf2
SHA512 (netbsd.gz) = 8c114cc98fcf6436203051b73008e0f0868f77d6c098450ba5de92315e3dad2403d1a048c277bffcd5096e2cecf93e8a144929651b41bc894418a65db33f50f2
SHA512 (netbsd.symbols.gz) = b84185ae8e33bd85cc78e551f54bfe5085ad5aab1008fdbe5a4342701569f670c4127884374723edd611f5b3a96e8dc790598856678d4cc168af3dfbdd300775
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d