Index of /backports/20250120/pool/why3/

../
libwhy3-ocaml-dev-dbgsym_1.7.2-2+ocaml1_amd64.deb  20-Jan-2025 17:02              841748
libwhy3-ocaml-dev_1.7.2-2+ocaml1_amd64.deb         20-Jan-2025 17:02            12598732
why3-dbgsym_1.7.2-2+ocaml1_amd64.deb               20-Jan-2025 17:02             2536368
why3-doc-html_1.7.2-2+ocaml1_all.deb               20-Jan-2025 17:02             1035836
why3-doc-pdf_1.7.2-2+ocaml1_all.deb                20-Jan-2025 17:02             1325876
why3-examples_1.7.2-2+ocaml1_all.deb               20-Jan-2025 17:02             4047532
why3_1.7.2-2+ocaml1.debian.tar.xz                  20-Jan-2025 17:02               18644
why3_1.7.2-2+ocaml1.dsc                            20-Jan-2025 17:02                1808
why3_1.7.2-2+ocaml1_amd64-2025-01-20T16:36:56Z...> 20-Jan-2025 17:02              579070
why3_1.7.2-2+ocaml1_amd64.build                    20-Jan-2025 17:02              579070
why3_1.7.2-2+ocaml1_amd64.buildinfo                20-Jan-2025 17:02               20130
why3_1.7.2-2+ocaml1_amd64.changes                  20-Jan-2025 17:02                3990
why3_1.7.2-2+ocaml1_amd64.deb                      20-Jan-2025 17:02            10963676
why3_1.7.2.orig.tar.bz2                            20-Jan-2025 17:02             6321645