../ yosys_0.5.0-1+b3_armhf.deb 25-Jan-2016 10:08 1107750 yosys_0.5.0-1.debian.tar.xz 10-Feb-2015 21:48 7540 yosys_0.5.0-1.dsc 10-Feb-2015 21:48 1979 yosys_0.5.0.orig.tar.gz 10-Feb-2015 21:48 774086