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

../
libwhy-coq_2.30+dfsg-3_all.deb                                                                                           17-Jan-2012 16:39    394K
why-examples_2.30+dfsg-3_all.deb                                                                                         17-Jan-2012 16:39    174K
why_2.30+dfsg-3_amd64.deb                                                                                                17-Jan-2012 16:39      8M
why_2.30+dfsg-3_i386.deb                                                                                                 17-Jan-2012 16:39      7M