iverilog	12.0	13.0	http://ftp.halifax.rwth-aachen.de/opensuse/source/tumbleweed/repo/oss/src/iverilog-13.0-1.1.src.rpm
iverilog	12.0	13.0	http://mirror.yandex.ru/fedora/linux/development/rawhide/Everything/source/tree/Packages/i/iverilog-13.0-4.fc45.src.rpm
iverilog	12.0	13.0	http://mirror.yandex.ru/mageia/distrib/cauldron/SRPMS/core/release/iverilog-13.0-1.mga10.src.rpm
yosys	0.63	0.64	https://github.com/YosysHQ/yosys/releases/tag/v0.64