COMPUTER INTEREST FLOOR

University of Rochester

	Name	Last modified	Size	Description
	Parent Directory		-
	coq-libs_8.0pl2-2_all.deb	2005-04-30 07:54	3.6M
	coq7-libs_8.0pl2-2_all.deb	2005-03-31 17:17	3.6M
	coq_8.0pl2-2.diff.gz	2005-04-30 07:54	11K
	coq_8.0pl2-2.dsc	2005-04-30 07:54	919
	coq_8.0pl2-2_amd64.deb	2005-04-30 07:54	6.2M
	coq_8.0pl2.orig.tar.gz	2005-04-30 07:54	2.2M
	coqide_8.0pl2-2_amd64.deb	2005-04-30 07:54	4.1M