SHA512 (netbsd-INSTALL) = b5795b379ffc04a887a4332a10102853db176bcb4435460f5f8be57d0028a996889a5261bd855494ae0db6e8d133aa10196234ed7866fa9b1a42f4731fcd2ecf
SHA512 (netbsd-INSTALL_C700) = 8b8df59c7937e54680ae5ab45e0092fadc59ac24ca266657bee72544cc6406b4b4dfebd694146328c34867700103ccf61de4334fdea30a1ffa5b0e74a0dff7b2