SHA512 (nextpnr-cadbf42.tar.gz) = 4478801b6b43022caf39811c1145934dd48116ac507a5a055b786829d56134f50d48a028edef060e32f93c458106df7462006c13bb3d62ab151ff546870cfb29