Index of /livecdroom/source/pearos/universe/c/coq-float

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-float_8.1-1.0-3.diff.gz	2012-01-27 07:58	3.7K
	coq-float_8.1-1.0-3.dsc	2012-01-27 07:58	595
	coq-float_8.1-1.0.orig.tar.gz	2012-01-27 07:58	313K
	coq-float_8.2-1.2-4.diff.gz	2012-01-27 07:58	2.7K
	coq-float_8.2-1.2-4.dsc	2012-01-27 07:58	1.9K
	coq-float_8.2-1.2-5.debian.tar.gz	2012-01-27 07:58	3.0K
	coq-float_8.2-1.2-5.dsc	2012-01-27 07:58	1.3K
	coq-float_8.2-1.2-7.debian.tar.gz	2012-01-27 07:58	3.4K
	coq-float_8.2-1.2-7.dsc	2012-01-27 07:58	1.9K
	coq-float_8.2-1.2-9.debian.tar.gz	2012-01-27 07:58	3.4K
	coq-float_8.2-1.2-9.dsc	2012-01-27 07:58	2.0K
	coq-float_8.2-1.2.orig.tar.gz	2012-01-27 07:58	315K
	coq-float_8.3pl1-4.debian.tar.gz	2013-05-18 21:02	3.2K
	coq-float_8.3pl1-4.dsc	2013-05-18 21:02	2.0K
	coq-float_8.3pl1.orig.tar.gz	2013-05-18 21:02	351K
	coq-float_8.4-1.debian.tar.gz	2013-05-18 21:02	3.3K
	coq-float_8.4-1.dsc	2013-05-18 21:02	1.9K
	coq-float_8.4-3.debian.tar.xz	2015-07-21 14:01	3.3K
	coq-float_8.4-3.dsc	2017-08-05 22:13	1.9K
	coq-float_8.4-4.debian.tar.xz	2015-07-21 14:01	3.3K
	coq-float_8.4-4.dsc	2017-08-05 22:13	2.0K
	coq-float_8.4-5build1.debian.tar.xz	2017-08-05 22:13	3.3K
	coq-float_8.4-5build1.dsc	2017-08-05 22:13	2.0K
	coq-float_8.4.orig.tar.gz	2013-05-18 21:02	344K
	coq-float_8.10.0-1.debian.tar.xz	2020-05-27 14:07	3.3K
	coq-float_8.10.0-1.dsc	2020-05-27 14:07	1.9K
	coq-float_8.10.0.orig.tar.gz	2020-05-27 14:07	97K