../ yosys-abc_0.33-5build2_amd64.deb 01-Apr-2024 23:02 6M yosys-dev_0.33-5build2_amd64.deb 01-Apr-2024 23:02 86K yosys-doc_0.33-5build2_all.deb 01-Apr-2024 23:02 2M yosys_0.33-5build2_amd64.deb 01-Apr-2024 23:02 3M