../ yosys-dev_0.8-1+b1_armhf.deb 18-Mar-2019 16:08 58492 yosys-doc_0.8-1_all.deb 17-Oct-2018 22:13 2446888 yosys_0.8-1+b1_armhf.deb 18-Mar-2019 16:08 1579148 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.orig.tar.gz 17-Oct-2018 16:57 1118433