../ semi_1.14.7~0.20120428-14+deb8u1.debian.tar.xz 10-May-2015 14:07 51K semi_1.14.7~0.20120428-14+deb8u1.dsc 10-May-2015 14:07 1956 semi_1.14.7~0.20120428-14+deb8u1_all.deb 10-May-2015 14:07 169K semi_1.14.7~0.20120428.orig.tar.gz 11-May-2013 17:16 143K