SHA256 (yosys-0.8.tar.gz) = B3YP5zIANYWybZf54CvN3yQv9/wz29QVRGrHxw6Fxm8=
SIZE (yosys-0.8.tar.gz) = 1118433
