Index of /distrib/V8.1/files

	Name	Last modified	Size	Description
	Parent Directory		-
	INSTALL.macosx	27-May-2009 12:21	850
	contrib-8.1.tar.gz	27-May-2009 12:20	8.0M
	coq-8.1-1.i386.rpm	27-May-2009 12:21	17M
	coq-8.1-1.ppc.rpm	27-May-2009 12:21	18M
	coq-8.1-1.src.rpm	27-May-2009 12:20	2.9M
	coq-8.1-FreeBSD-i386.tar.gz	27-May-2009 12:21	17M
	coq-8.1-Linux-i386.tar.gz	27-May-2009 12:21	17M
	coq-8.1-Linux-x86_64.tar.gz	27-May-2009 12:21	18M
	coq-8.1-macosx-i386.dmg	27-May-2009 12:21	20M
	coq-8.1-macosx-ppc.dmg	27-May-2009 12:21	18M
	coq-8.1-win.exe	27-May-2009 12:21	80M
	coq-8.1.tar.gz	27-May-2009 12:21	2.8M
	coq_ext_for_pcoq-8.1-1.i386.rpm	27-May-2009 12:21	6.7M
	coq_ext_for_pcoq-8.1-1.ppc.rpm	27-May-2009 12:21	7.4M
	coq_ext_for_pcoq-8.1-1.src.rpm	27-May-2009 12:20	2.9M
	coqide-8.1-1.i386.rpm	27-May-2009 12:21	6.4M
	coqide-8.1-1.ppc.rpm	27-May-2009 12:21	4.8M
	coqide-8.1-1.src.rpm	27-May-2009 12:21	2.9M
	coqide-8.1-macosx-i386.dmg	27-May-2009 12:21	60M
	doc/	27-May-2009 12:21	-
	fink/	27-May-2009 12:21	-
	patch-coq-8.1-ocaml-3.10-camlp5	27-May-2009 12:21	19K