../ yosys-dbgsym_0.6-7+b1_sparc64.deb 11-Oct-2016 15:03 32M yosys-dev_0.6-7+b1_sparc64.deb 11-Oct-2016 15:03 51K yosys_0.6-7+b1_sparc64.deb 11-Oct-2016 15:03 1M