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


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