../ semi_1.14.6+0.20101114-1.debian.tar.gz 16-May-2011 16:17 10711 semi_1.14.6+0.20101114-1.dsc 16-May-2011 16:17 1782 semi_1.14.6+0.20101114-1_all.deb 16-May-2011 16:17 187902 semi_1.14.6+0.20101114.orig.tar.gz 16-May-2011 16:17 146573