SHA512 (netbsd-TX3912.gz) = 2a4ba40a1013c9108b23aeccc35f9de3d0b89ae849d844a077f18f67cce67840975f14bb32f19ca4b2f0245443dfe1c5327992bba39ac994961a87c60751d919
SHA512 (netbsd-TX3912.symbols.gz) = 8057ef7e77fa6a2af7ac08ae8791778538005ba49debe08ed8c09c027544f910edddc9958bce6467e3f0b615acc67f4386dd7ab0ca754d6553c743bd552d9d5e
SHA512 (netbsd.gz) = 4e18169a0dce8aa752cdade590f2bede2b10dad46faf880f405c7a013f57404a8df959ebfbd080542b779a1642046956f3c27cb713b72c4ac21daeaaf86f8791
SHA512 (netbsd.symbols.gz) = c4875c3b5f5c15c5d6bbe9085616989be0e7d732ded68bf7acb1a29cab3e113af0a96da57b1e5154e8f33928d1ed900e11564f9e39bf4c0d52aa018f13accf5d
SHA512 (hpcboot.exe) = bcde10547db4de0623863c93a733706edc1096e2535ff6a7574e86ccab25144c0c653d80ccfb1989eaf685e0b0710eab41f34cc2c45a7bbdc10bb9f845326102
SHA512 (pbsdboot.exe) = 28b6b8b3ac983d5fa9ae9dd28127981367720c3754a88fd0b08e404093c657df3df93bceae63835fdaf021fd608002464411818ef3e9becf100e0e7ffd94fcbc
SHA512 (pbsdboot1.exe) = 65e044958194d15fd58b222dba5470343068ffbe968d43819b11744c711bf75083d1e61df0e433ac846629d8d0ccd14ccd0388b58424a123d4018f9731b6415d