Index of /debian/pool/main/s/semi

	Name	Last modified	Size	Description
	Parent Directory		-
	semi_1.14.6+0.20070618.orig.tar.gz	09-Jul-2007 15:47	140K
	semi_1.14.6+0.20070618-2_all.deb	18-Nov-2008 15:47	178K
	semi_1.14.6+0.20070618-2.dsc	18-Nov-2008 15:47	1.0K
	semi_1.14.6+0.20070618-2.diff.gz	18-Nov-2008 15:47	10K
	semi_1.14.6+0.20061202.orig.tar.gz	02-Dec-2006 15:32	139K
	semi_1.14.6+0.20061202-1_all.deb	02-Dec-2006 15:32	176K
	semi_1.14.6+0.20061202-1.dsc	02-Dec-2006 15:32	613
	semi_1.14.6+0.20061202-1.diff.gz	02-Dec-2006 15:32	9.9K