Index of /ubuntu/pool/universe/g/gri

	Name	Last modified	Size
	Parent Directory		-
	gri_2.12.16.orig.tar.gz	2007-10-23 20:06	1.4M
	gri_2.12.16-1build1.diff.gz	2008-02-14 07:03	272
	gri_2.12.16-1build1.dsc	2008-02-14 07:03	811
	gri-el_2.12.16-1build1_all.deb	2008-02-14 08:03	63K
	gri-html-doc_2.12.16-1build1_all.deb	2008-02-14 08:03	1.1M
	gri-ps-doc_2.12.16-1build1_all.deb	2008-02-14 08:03	937K
	gri_2.12.16-1build1_lpia.deb	2008-02-14 09:03	749K