Index of /backports/20260106/pool/why3/

../
libwhy3-ocaml-dev-dbgsym_1.8.2-2+ocaml1_amd64.deb  06-Jan-2026 07:17              870604
libwhy3-ocaml-dev_1.8.2-2+ocaml1_amd64.deb         06-Jan-2026 07:17            11716588
why3-dbgsym_1.8.2-2+ocaml1_amd64.deb               06-Jan-2026 07:17             2645312
why3-doc-html_1.8.2-2+ocaml1_all.deb               06-Jan-2026 07:17             1295444
why3-doc-pdf_1.8.2-2+ocaml1_all.deb                06-Jan-2026 07:17             1430820
why3-examples_1.8.2-2+ocaml1_all.deb               06-Jan-2026 07:17             4273240
why3_1.8.2-2+ocaml1.debian.tar.xz                  06-Jan-2026 07:17               19636
why3_1.8.2-2+ocaml1.dsc                            06-Jan-2026 07:17                1826
why3_1.8.2-2+ocaml1_amd64-2026-01-06T07:10:19Z...> 06-Jan-2026 07:17              633284
why3_1.8.2-2+ocaml1_amd64.build                    06-Jan-2026 07:17              633284
why3_1.8.2-2+ocaml1_amd64.buildinfo                06-Jan-2026 07:17               20117
why3_1.8.2-2+ocaml1_amd64.changes                  06-Jan-2026 07:17                3988
why3_1.8.2-2+ocaml1_amd64.deb                      06-Jan-2026 07:17            12786008
why3_1.8.2.orig.tar.bz2                            06-Jan-2026 07:17             6644926