Index of /old/debian/pool/main/w/why/

../
libwhy-coq_2.30+dfsg-5_all.deb                     03-Apr-2019 02:18              417300
libwhy-coq_2.34-2_all.deb                          24-Aug-2017 09:48              244858
why-examples_2.30+dfsg-5_all.deb                   03-Apr-2019 01:26              194416
why-examples_2.34-2_all.deb                        24-Aug-2017 09:27              143132
why_2.30+dfsg-5+b1_amd64.deb                       03-Apr-2019 01:25             8588276
why_2.30+dfsg-5+b1_i386.deb                        03-Apr-2019 01:46             7472646
why_2.30+dfsg-5.debian.tar.gz                      03-Apr-2019 02:00               11410
why_2.30+dfsg-5.dsc                                03-Apr-2019 02:00                1968
why_2.30+dfsg.orig.tar.gz                          03-Apr-2019 02:00             3233685
why_2.34-2.debian.tar.xz                           03-Oct-2017 13:05               10512
why_2.34-2.dsc                                     03-Oct-2017 13:05                2366
why_2.34-2_amd64.deb                               24-Aug-2017 09:21             5054120
why_2.34-2_i386.deb                                24-Aug-2017 09:24             4889582
why_2.34.orig.tar.gz                               03-Oct-2017 13:06             3725831