../ yosys-abc_0.33-5build2_amd64.deb 01-Apr-2024 23:02 5829332 yosys-dev_0.33-5build2_amd64.deb 01-Apr-2024 23:02 88434 yosys-doc_0.33-5build2_all.deb 01-Apr-2024 23:02 2056508 yosys_0.33-5build2_amd64.deb 01-Apr-2024 23:02 3222052