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

../
libwhy-coq_2.23+dfsg-2_all.deb                     23-Mar-2010 06:07              410392
libwhy-coq_2.26+dfsg-2_all.deb                     03-Aug-2010 06:06              485864
libwhy-coq_2.29+dfsg-3_all.deb                     19-May-2011 22:04              409340
libwhy-coq_2.30+dfsg-3_all.deb                     17-Jan-2012 16:39              403156
libwhy-coq_2.30+dfsg-5_all.deb                     25-May-2012 03:34              402990
why-examples_2.23+dfsg-2_all.deb                   23-Mar-2010 06:07              184678
why-examples_2.26+dfsg-2_all.deb                   03-Aug-2010 06:06              175950
why-examples_2.29+dfsg-3_all.deb                   19-May-2011 22:04              174514
why-examples_2.30+dfsg-3_all.deb                   17-Jan-2012 16:39              177774
why-examples_2.30+dfsg-5_all.deb                   25-May-2012 03:34              177772
why_2.04.dfsg-3.diff.gz                            24-Oct-2007 10:05                2888
why_2.04.dfsg-3.dsc                                24-Oct-2007 10:05                 688
why_2.04.dfsg-3_amd64.deb                          11-Jan-2008 14:04             4191000
why_2.04.dfsg-3_i386.deb                           11-Jan-2008 14:04             3778036
why_2.04.dfsg.orig.tar.gz                          24-Oct-2007 10:05             1298690
why_2.23+dfsg-2.diff.gz                            22-Mar-2010 20:05                9338
why_2.23+dfsg-2.dsc                                22-Mar-2010 20:05                2185
why_2.23+dfsg-2_amd64.deb                          23-Mar-2010 06:07             9024218
why_2.23+dfsg-2_i386.deb                           23-Mar-2010 06:08             7232018
why_2.23+dfsg.orig.tar.gz                          22-Mar-2010 20:05             2492649
why_2.26+dfsg-2.debian.tar.gz                      02-Aug-2010 21:13               10637
why_2.26+dfsg-2.dsc                                02-Aug-2010 21:13                1584
why_2.26+dfsg-2_amd64.deb                          02-Aug-2010 21:13             8972368
why_2.26+dfsg-2_i386.deb                           03-Aug-2010 06:07             7133340
why_2.26+dfsg.orig.tar.gz                          05-Jun-2010 19:05             2513136
why_2.29+dfsg-3.debian.tar.gz                      30-Apr-2011 19:05                9473
why_2.29+dfsg-3.dsc                                30-Apr-2011 19:05                1842
why_2.29+dfsg-3_amd64.deb                          19-May-2011 23:04             9102378
why_2.29+dfsg-3_i386.deb                           19-May-2011 22:04             7474220
why_2.29+dfsg.orig.tar.gz                          30-Apr-2011 19:05             2747091
why_2.30+dfsg-3.debian.tar.gz                      17-Jan-2012 16:07               11278
why_2.30+dfsg-3.dsc                                17-Jan-2012 16:07                1968
why_2.30+dfsg-3_amd64.deb                          17-Jan-2012 16:39             8463202
why_2.30+dfsg-3_i386.deb                           17-Jan-2012 16:39             6986956
why_2.30+dfsg-5.debian.tar.gz                      24-May-2012 18:25               11410
why_2.30+dfsg-5.dsc                                24-May-2012 18:25                1968
why_2.30+dfsg-5_amd64.deb                          25-May-2012 05:37             8521958
why_2.30+dfsg-5_i386.deb                           25-May-2012 03:36             7019524
why_2.30+dfsg.orig.tar.gz                          07-Jan-2012 13:33             3233685