SHA512 (netbsd-TX3912.gz) = 4001f4d21e7315502ad2c3d8c9bd98ef12c584982f91eddf4424fb085482177676695c4a3356e32864df62ffa2afff7ca25573dc90acf530a3a3fae4ff415e23
SHA512 (netbsd-TX3912.symbols.gz) = 2142bbd04e262f227e96f1a7e17914cad9d1d4cc54ad5042252be6be920b241c44b6dbc47fb7174bc700105887c863748955c57f4d99dda416d35725c19fad0f
SHA512 (netbsd.gz) = d8d5885a4092cf183963831bbbcf445e75c4cac381b99318fffbd1c4f663588ad13353db0b15b655349692a12c7d5d233241a49d57271fd2343dfc804d677ad7
SHA512 (netbsd.symbols.gz) = d3b3852d10c469403e7c0e82c6d4ea1e1ca8e5a1e3e0a3c02095e46813d2b65069b9f8de2b540a30df450b9711236dcd4624fe242d966f0ed810a1f8d67e3a42
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d