SHA256 (MikePopoloski-slang-v11.0.tar.gz) = UGdtWprb77l9JmpLF05rBROQGv1axXps3+oKYRScNwQ=
SHA256 (YosysHQ-abc-v0.67.tar.gz) = ObBnbGWqWYW9zrirV4+2R5wCHaYoqkyPAT7QMsJ+GCI=
SHA256 (fmtlib-fmt-12.2.0.tar.gz) = i4UrtapufYVk+egTlAVTld0dGTbTjf06F3kqAr69evA=
SHA256 (jarro2783-cxxopts-v3.3.1.tar.gz) = O/xwVCxSHUtVpGQp2AgXiRalebKNBIvYxyfudsOeIHI=
SHA256 (marzer-tomlplusplus-v3.4.0.tar.gz) = hRf2WTik+q6cz467NmMaOMHK37XvqF2acuFbnpfSUVU=
SHA256 (povik-sv-elab-2026-07-07.tar.gz) = YDTuVa1vrrVgM7VZB8FjUlg4w6FcA9EFE67uVJeoX6c=
SHA256 (yosys-0.67.tar.gz) = iin5FbkDjuoMhAYu4R/OE1dBOkAbg4gH5mynNMMVPEQ=
SIZE (MikePopoloski-slang-v11.0.tar.gz) = 1943449
SIZE (YosysHQ-abc-v0.67.tar.gz) = 7670691
SIZE (fmtlib-fmt-12.2.0.tar.gz) = 738355
SIZE (jarro2783-cxxopts-v3.3.1.tar.gz) = 161557
SIZE (marzer-tomlplusplus-v3.4.0.tar.gz) = 1294731
SIZE (povik-sv-elab-2026-07-07.tar.gz) = 128437
SIZE (yosys-0.67.tar.gz) = 3681937
