Index of /transitions/20260425/repo/pool/why3/

../
libwhy3-ocaml-dev-dbgsym_1.8.2-3+ocaml1_amd64.deb  25-Apr-2026 08:26              868508
libwhy3-ocaml-dev_1.8.2-3+ocaml1_amd64.deb         25-Apr-2026 08:26            11685316
why3-dbgsym_1.8.2-3+ocaml1_amd64.deb               25-Apr-2026 08:26             2645644
why3-doc-html_1.8.2-3+ocaml1_all.deb               25-Apr-2026 08:26             1271860
why3-doc-pdf_1.8.2-3+ocaml1_all.deb                25-Apr-2026 08:26             1392096
why3-examples_1.8.2-3+ocaml1_all.deb               25-Apr-2026 08:26             4270668
why3_1.8.2-3+ocaml1.debian.tar.xz                  25-Apr-2026 08:26               19652
why3_1.8.2-3+ocaml1.dsc                            25-Apr-2026 08:26                1822
why3_1.8.2-3+ocaml1_amd64-2026-04-25T06:37:27Z...> 25-Apr-2026 08:26              642638
why3_1.8.2-3+ocaml1_amd64.build                    25-Apr-2026 08:26              642638
why3_1.8.2-3+ocaml1_amd64.buildinfo                25-Apr-2026 08:26               20494
why3_1.8.2-3+ocaml1_amd64.changes                  25-Apr-2026 08:26                3986
why3_1.8.2-3+ocaml1_amd64.deb                      25-Apr-2026 08:26            12789744
why3_1.8.2.orig.tar.bz2                            25-Apr-2026 08:25             6644926