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

../
libwhy-coq_2.30+dfsg-3_all.deb                     18-Jan-2012 00:39    394K
libwhy-coq_2.34-2ubuntu1_all.deb                   15-Aug-2014 18:28    225K
libwhy-coq_2.39-2build1_all.deb                    29-Oct-2017 02:04     35K
why-examples_2.30+dfsg-3_all.deb                   18-Jan-2012 00:39    174K
why-examples_2.34-2ubuntu1_all.deb                 15-Aug-2014 18:28    124K
why-examples_2.34-4ubuntu4_all.deb                 24-Feb-2016 01:29    124K
why-examples_2.34-4ubuntu5_all.deb                 11-Jul-2016 05:09    123K
why_2.30+dfsg-3.debian.tar.gz                      18-Jan-2012 00:07     11K
why_2.30+dfsg-3.dsc                                18-Jan-2012 00:07    1968
why_2.30+dfsg-3_amd64.deb                          18-Jan-2012 00:39      8M
why_2.30+dfsg-3_i386.deb                           18-Jan-2012 00:39      7M
why_2.30+dfsg.orig.tar.gz                          07-Jan-2012 21:33      3M
why_2.34-2ubuntu1.debian.tar.xz                    15-Aug-2014 18:03     10K
why_2.34-2ubuntu1.dsc                              15-Aug-2014 18:03    2456
why_2.34-2ubuntu1_amd64.deb                        15-Aug-2014 18:03      5M
why_2.34-2ubuntu1_i386.deb                         15-Aug-2014 18:28      5M
why_2.34-4ubuntu4.debian.tar.xz                    24-Feb-2016 00:58     11K
why_2.34-4ubuntu4.dsc                              24-Feb-2016 00:58    2293
why_2.34-4ubuntu4_amd64.deb                        24-Feb-2016 01:29      3M
why_2.34-4ubuntu4_i386.deb                         24-Feb-2016 01:29      3M
why_2.34-4ubuntu5.debian.tar.xz                    11-Jul-2016 05:08     11K
why_2.34-4ubuntu5.dsc                              11-Jul-2016 05:08    2372
why_2.34-4ubuntu5_amd64.deb                        11-Jul-2016 05:09      4M
why_2.34-4ubuntu5_i386.deb                         11-Jul-2016 05:09      3M
why_2.34.orig.tar.gz                               30-Apr-2014 19:23      4M
why_2.39-2build1.debian.tar.xz                     29-Oct-2017 02:03     12K
why_2.39-2build1.dsc                               29-Oct-2017 02:03    2414
why_2.39-2build1_amd64.deb                         29-Oct-2017 02:04      3M
why_2.39-2build1_i386.deb                          29-Oct-2017 02:05      3M
why_2.39.orig.tar.gz                               16-Oct-2017 18:03      2M