PRGNAM="yosys" VERSION="0.22" HOMEPAGE="https://yosyshq.net/yosys" DOWNLOAD="https://github.com/YosysHQ/yosys/archive/yosys-0.22/yosys-yosys-0.22.tar.gz" MD5SUM="6c5ce0aa586019ec88ebfdae122157aa" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" MAINTAINER="William PC" EMAIL="w_calandrini[at]hotmail[dot]com"