SHA512 (netbsd-INSTALL) = 1853076dd816bbe3bb291b99b0ac759d1bd2a64f9df3ab1bd252f8185148ba5bdba691113dd1178be0e617a77f731e6d2770aae7affeb2024daa26f76537b009
SHA512 (netbsd-INSTALL_C700) = f22e1d8fa8490fdfe546f480d076bad92401cfae91a88d25ba3f3d63dee99123cd20b0eb3ec18350aea37db68944a956ccd7a4b98e399b1f2d5ce8263e870e4b