../ yosys-dev_0.8-1_amd64.deb 17-Oct-2018 22:34 58224 yosys-dev_0.8-1_i386.deb 17-Oct-2018 21:53 58224 yosys-doc_0.8-1_all.deb 17-Oct-2018 22:13 2446888 yosys_0.8-1_amd64.deb 17-Oct-2018 22:34 1883824 yosys_0.8-1_i386.deb 17-Oct-2018 21:53 1967912