../ yosys-dbgsym_0.23-6_ia64.deb 04-Dec-2022 06:03 71M yosys-dev_0.23-6_ia64.deb 04-Dec-2022 06:03 93K yosys_0.23-6_ia64.buildinfo 04-Dec-2022 06:03 7021 yosys_0.23-6_ia64.deb 04-Dec-2022 06:03 3M