../ yosys-dev_0.8-1_amd64.deb 17-Oct-2018 22:34 58224 yosys-doc_0.8-1_all.deb 17-Oct-2018 22:13 2446888 yosys_0.8-1.debian.tar.xz 17-Oct-2018 16:57 17232 yosys_0.8-1.dsc 17-Oct-2018 16:57 2611 yosys_0.8-1_amd64.deb 17-Oct-2018 22:34 1883824 yosys_0.8.orig.tar.gz 17-Oct-2018 16:57 1118433