Index of /ubuntu/pool/universe/w/why

	Name	Last modified	Size	Description
	Parent Directory		-
	libwhy-coq_2.23+dfsg-2_all.deb	2010-03-23 01:07	401K
	libwhy-coq_2.30+dfsg-3_all.deb	2012-01-17 10:39	394K
	why-examples_2.23+dfsg-2_all.deb	2010-03-23 01:07	180K
	why-examples_2.30+dfsg-3_all.deb	2012-01-17 10:39	174K
	why_2.23+dfsg-2.diff.gz	2010-03-22 15:05	9.1K
	why_2.23+dfsg-2.dsc	2010-03-22 15:05	2.1K
	why_2.23+dfsg-2_amd64.deb	2010-03-23 01:07	8.6M
	why_2.23+dfsg-2_i386.deb	2010-03-23 01:08	6.9M
	why_2.23+dfsg.orig.tar.gz	2010-03-22 15:05	2.4M
	why_2.30+dfsg-3.debian.tar.gz	2012-01-17 10:07	11K
	why_2.30+dfsg-3.dsc	2012-01-17 10:07	1.9K
	why_2.30+dfsg-3_amd64.deb	2012-01-17 10:39	8.1M
	why_2.30+dfsg-3_i386.deb	2012-01-17 10:39	6.7M
	why_2.30+dfsg.orig.tar.gz	2012-01-07 07:33	3.1M