Index of /kali/pool/main/w/why/


../
libwhy-coq_2.40-3_all.deb                          17-May-2018 12:13               51828
why_2.40-3.debian.tar.xz                           17-May-2018 12:13               11872
why_2.40-3.dsc                                     17-May-2018 12:13                2374
why_2.40-3_amd64.deb                               17-May-2018 12:13             3410240
why_2.40-3_arm64.deb                               17-May-2018 12:13             3722560
why_2.40-3_armhf.deb                               17-May-2018 12:13             3236304
why_2.40-3_i386.deb                                17-May-2018 12:13             3161156
why_2.40.orig.tar.gz                               17-May-2018 12:13             1498394