Index of /mie/pool/universe/v/verilog

	Name	Last modified	Size
	Parent Directory		-
	verilog_0.8.5-1.diff.gz	2007-08-01 08:03	3.3K
	verilog_0.8.5-1.dsc	2007-08-01 08:03	642
	verilog_0.8.5-1_lpia.deb	2007-08-24 17:03	897K
	verilog_0.8.5.orig.tar.gz	2007-08-01 08:03	1.5M