Folder Path

/ubuntu-ports/pool/universe/w/why/

0 directories 17 files 47 MiB total

	Name	Size	Modified
	Up
	libwhy-coq_2.39-2build1_all.deb	34 KiB	10/28/2017 06:04:53 PM +00:00
	why-examples_2.34-4ubuntu4_all.deb	124 KiB	02/23/2016 05:29:20 PM +00:00
	why_2.34-4ubuntu4.debian.tar.xz	11 KiB	02/23/2016 04:58:48 PM +00:00
	why_2.34-4ubuntu4.dsc	2.2 KiB	02/23/2016 04:58:48 PM +00:00
	why_2.34-4ubuntu4_arm64.deb	3.2 MiB	02/23/2016 05:29:22 PM +00:00
	why_2.34-4ubuntu4_armhf.deb	3.1 MiB	02/23/2016 05:29:30 PM +00:00
	why_2.34-4ubuntu4_powerpc.deb	2.6 MiB	02/23/2016 05:29:44 PM +00:00
	why_2.34-4ubuntu4_ppc64el.deb	8.9 MiB	02/23/2016 05:29:51 PM +00:00
	why_2.34-4ubuntu4_s390x.deb	10 MiB	02/23/2016 05:29:54 PM +00:00
	why_2.34.orig.tar.gz	3.6 MiB	04/30/2014 11:23:49 AM +00:00
	why_2.39-2build1.debian.tar.xz	12 KiB	10/28/2017 06:03:53 PM +00:00
	why_2.39-2build1.dsc	2.4 KiB	10/28/2017 06:03:53 PM +00:00
	why_2.39-2build1_arm64.deb	3.6 MiB	10/28/2017 07:05:45 PM +00:00
	why_2.39-2build1_armhf.deb	3.1 MiB	10/28/2017 07:06:01 PM +00:00
	why_2.39-2build1_ppc64el.deb	3.5 MiB	10/28/2017 06:05:20 PM +00:00
	why_2.39-2build1_s390x.deb	3.5 MiB	10/28/2017 06:05:27 PM +00:00
	why_2.39.orig.tar.gz	1.6 MiB	10/16/2017 10:03:26 AM +00:00