SHA512 (netbsd-TX3912.gz) = 8720882e77b71a0b8b54943397913d52a0f4ddf6d5aced8825b6b36d652a6ab8418a953fc2d55699aebe283d8086a22ac8a0de23d9d86354e294aba849f02506
SHA512 (netbsd-TX3912.symbols.gz) = 06cc5400bddcc4cace4c90c141b2a1012e9dc34e5dbc3f9c7105f4723a2699a0711887d33a171b9e847787b9ed1e468a65920917a91d1e0119f131a0a02ecfdc
SHA512 (netbsd.gz) = 57371bec2b9b1a5d021cea5b3ee44e9cd7ec626bca4ebb7d1fcef5d034dfa285c5f1ce30731f120a5881aa501ba2a72c1b17a06e081fcec1498d46e07a9abcdc
SHA512 (netbsd.symbols.gz) = a6a8b6deaa1913d08855ecac7a886b2d26eda8fb733706215f1be8e9e18ee3b1a4f92e35a832c17176b16ac563ce021006caf057b0fff30a0cb796a6935f9cb8
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d