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

../
libwhy-coq_2.30+dfsg-3_all.deb                                                                                           25-Sep-2023 18:45    394K
why-examples_2.30+dfsg-3_all.deb                                                                                         25-Sep-2023 18:45    174K
why_2.30+dfsg-3_amd64.deb                                                                                                25-Sep-2023 18:45      8M
why_2.30+dfsg-3_i386.deb                                                                                                 25-Sep-2023 18:45      7M