../ yosys-dev_0.9-1+b1_amd64.deb 22-May-2023 16:15 61K yosys-doc_0.9-1_all.deb 22-May-2023 16:15 2M yosys_0.9-1+b1_amd64.deb 22-May-2023 16:15 2M