Index of /pool/universe/c/coq-float

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-float_8.1-1.0-3.diff.gz	19-Nov-2007 07:03	3.7K
	coq-float_8.1-1.0-3.dsc	19-Nov-2007 07:03	595
	coq-float_8.1-1.0.orig.tar.gz	28-Oct-2007 14:08	313K
	coq-float_8.2-1.2-4.diff.gz	10-Mar-2010 08:04	2.7K
	coq-float_8.2-1.2-4.dsc	10-Mar-2010 08:04	1.9K
	coq-float_8.2-1.2-5.debian.tar.gz	29-Jul-2010 09:05	3.0K
	coq-float_8.2-1.2-5.dsc	29-Jul-2010 09:05	1.3K
	coq-float_8.2-1.2-7.debian.tar.gz	30-Apr-2011 11:05	3.4K
	coq-float_8.2-1.2-7.dsc	30-Apr-2011 11:05	1.9K
	coq-float_8.2-1.2-9.debian.tar.gz	07-Jan-2012 21:34	3.4K
	coq-float_8.2-1.2-9.dsc	07-Jan-2012 21:34	2.0K
	coq-float_8.2-1.2.orig.tar.gz	28-Apr-2009 19:05	315K
	coq-float_8.3pl1-3.debian.tar.gz	30-Apr-2012 15:41	3.2K
	coq-float_8.3pl1-3.dsc	30-Apr-2012 15:41	2.0K
	coq-float_8.3pl1.orig.tar.gz	30-Apr-2012 15:41	351K
	libfloat-coq_8.1-1.0-3_all.deb	11-Jan-2008 05:04	9.4M
	libfloat-coq_8.2-1.2-4_all.deb	10-Mar-2010 08:04	10M
	libfloat-coq_8.2-1.2-5_all.deb	29-Jul-2010 10:05	10M
	libfloat-coq_8.2-1.2-7_all.deb	19-May-2011 14:04	13M
	libfloat-coq_8.2-1.2-9_all.deb	07-Jan-2012 21:35	13M
	libfloat-coq_8.3pl1-3_all.deb	30-Apr-2012 21:05	16M