Index of /pub/ubuntu/pool/universe/w/why/


../
libwhy-coq_2.39-2build1_all.deb                    12-Sep-2026 19:00     35K
why-examples_2.34-4ubuntu4_all.deb                 12-Sep-2026 19:00    124K
why_2.34-4ubuntu4.debian.tar.xz                    12-Sep-2026 19:00     11K
why_2.34-4ubuntu4.dsc                              12-Sep-2026 19:00    2293
why_2.34-4ubuntu4_amd64.deb                        12-Sep-2026 19:00      3M
why_2.34-4ubuntu4_i386.deb                         12-Sep-2026 19:00      3M
why_2.34.orig.tar.gz                               12-Sep-2026 19:00      4M
why_2.39-2build1.debian.tar.xz                     12-Sep-2026 19:00     12K
why_2.39-2build1.dsc                               12-Sep-2026 19:00    2414
why_2.39-2build1_amd64.deb                         12-Sep-2026 19:00      3M
why_2.39-2build1_i386.deb                          12-Sep-2026 19:00      3M
why_2.39.orig.tar.gz                               12-Sep-2026 19:00      2M