Index of /pub/os/linux/ubuntu/pool/universe/w/why/

Filename	Modification time	Size
libwhy-coq_2.39-2build1_all.deb	2017-10-28 20:04 CEST	35 KiB
why-examples_2.34-4ubuntu4_all.deb	2016-02-23 18:29 CET	124 KiB
why_2.34-4ubuntu4.debian.tar.xz	2016-02-23 17:58 CET	11 KiB
why_2.34-4ubuntu4.dsc	2016-02-23 17:58 CET	2293 B
why_2.34-4ubuntu4_amd64.deb	2016-02-23 18:29 CET	3475 KiB
why_2.34-4ubuntu4_i386.deb	2016-02-23 18:29 CET	3374 KiB
why_2.34.orig.tar.gz	2014-04-30 13:23 CEST	3639 KiB
why_2.39-2build1.debian.tar.xz	2017-10-28 20:03 CEST	12 KiB
why_2.39-2build1.dsc	2017-10-28 20:03 CEST	2414 B
why_2.39-2build1_amd64.deb	2017-10-28 20:04 CEST	3391 KiB
why_2.39-2build1_i386.deb	2017-10-28 20:05 CEST	3140 KiB
why_2.39.orig.tar.gz	2017-10-16 12:03 CEST	1655 KiB