Index of /debian-ports/pool-ppc64/main/w/why3/

../
libwhy3-ocaml-dev_1.8.2-3+b1_ppc64.deb             18-Jun-2026 18:03             6202004
why3-dbgsym_1.8.2-3+b1_ppc64.deb                   18-Jun-2026 18:03               40224
why3_1.8.2-3+b1_ppc64.buildinfo                    18-Jun-2026 18:03               16582
why3_1.8.2-3+b1_ppc64.deb                          18-Jun-2026 18:03            22034020