Free Software Mirror Group

You're currently connected directly to one of our mirror nodes. You should use mirror.fsmg.org.nz instead. For more information please visit our website.

	Name	Last modified	Size
	Parent Directory		-
	why_2.34.orig.tar.gz	2014-04-30 23:23	3.6M
	why_2.34-4ubuntu4.debian.tar.xz	2016-02-24 05:58	11K
	why_2.34-4ubuntu4.dsc	2016-02-24 05:58	2.2K
	why_2.34-4ubuntu4_amd64.deb	2016-02-24 06:29	3.4M
	why-examples_2.34-4ubuntu4_all.deb	2016-02-24 06:29	124K
	why_2.34-4ubuntu4_i386.deb	2016-02-24 06:29	3.3M
	why_2.39.orig.tar.gz	2017-10-16 23:03	1.6M
	why_2.39-2build1.debian.tar.xz	2017-10-29 07:03	12K
	why_2.39-2build1.dsc	2017-10-29 07:03	2.4K
	libwhy-coq_2.39-2build1_all.deb	2017-10-29 07:04	35K
	why_2.39-2build1_amd64.deb	2017-10-29 07:04	3.3M
	why_2.39-2build1_i386.deb	2017-10-29 07:05	3.1M