../ yosys-dev_0.7-2_amd64.deb 27-Nov-2019 12:05 54468 yosys-doc_0.7-2_all.deb 27-Nov-2019 12:05 2072060 yosys_0.7-2_amd64.deb 27-Nov-2019 12:05 1665162