../ yosys-dbgsym_0.23-6_riscv64.deb 10-Apr-2023 11:52 56306608 yosys-dev_0.23-6_riscv64.deb 10-Apr-2023 11:25 95272 yosys-doc_0.23-6_all.deb 10-Apr-2023 11:28 2577192 yosys_0.23-6_riscv64.deb 10-Apr-2023 11:25 3335992