../ yosys-dev_0.7-2_amd64.deb 06-Nov-2016 16:26 54468 yosys-dev_0.7-2_i386.deb 06-Nov-2016 16:26 54462 yosys-doc_0.7-2_all.deb 06-Nov-2016 16:26 2072060 yosys_0.7-2.debian.tar.xz 06-Nov-2016 14:50 12000 yosys_0.7-2.dsc 06-Nov-2016 14:50 2461 yosys_0.7-2_amd64.deb 06-Nov-2016 16:26 1665162 yosys_0.7-2_i386.deb 06-Nov-2016 16:26 1789112 yosys_0.7.orig.tar.gz 06-Nov-2016 10:43 959374