SHA512 (netbsd-TX3912.gz) = c13d6191c40fb118f8cdd83ee9a1658d6ad41028b808934e25a54864c1f2108cd3c42ce7cbf18135281669778f592368e37123246067109cae8b6aa7fa7e82c9
SHA512 (netbsd-TX3912.symbols.gz) = 01b125a823b07440e5ce14868187740aa900303e9c5fa11cb4ba2a72f370c748ba526834e2399fbb1c7994ab46fe77d7da456aaa22f9561045a8d2fed434c580
SHA512 (netbsd.gz) = fa258c69dc891d05962e19ebdfdee996c1a4523c2aa8450f19736ae9402b05c08ca4a1b3d20c511dadc711272dfdb52b5352cd80d3763fcda45d4cb8225a5dc1
SHA512 (netbsd.symbols.gz) = d6e33af3ee7f724bc0d93a7919acc4dd20aa4f5042d31808c13f864b07e0737c9571a458646400b3a63da5f72cac40efcb172552a3ccda8fe8dd17a04dccd573
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d