SHA512 (netbsd-INSTALL) = c5a94f3f66a8f6b3c0302c3643549d4427e15bfef9c86aa241b7de4e785fd12190e13c2912d33c7ae3a8db3f893f27fa231c89403c66d6e2a42999b03eb1726d SHA512 (netbsd-INSTALL_C700) = 168021549f9119ddb6e7acc27a6e3638c3745ca55abbae9df8c37e14d59dd45f724c5e329507ee95cd0d35ac35b8ee580f0804101f490e841dbe83a41d44dcf4