Index of /mie/pool/universe/s/semi

	Name	Last modified	Size
	Parent Directory		-
	semi_1.14.6+0.20070618-1.diff.gz	2007-08-14 23:03	10K
	semi_1.14.6+0.20070618-1.dsc	2007-08-14 23:03	611
	semi_1.14.6+0.20070618-1_all.deb	2007-08-15 05:03	176K
	semi_1.14.6+0.20070618.orig.tar.gz	2007-08-14 23:03	140K