Index of /mirror-backup20251114/pool/universe/w/why3/

../
libwhy3-ocaml-dev_1.7.2-2build1_amd64.deb          06-Sep-2024 16:41     13M
libwhy3-ocaml-dev_1.8.0-2build1_amd64.deb          19-Jun-2025 23:39     13M
why3-doc-html_1.7.2-2build1_all.deb                06-Sep-2024 16:41    773K
why3-doc-pdf_1.7.2-2build1_all.deb                 06-Sep-2024 16:41      1M
why3-examples_1.7.2-2build1_all.deb                06-Sep-2024 16:41      4M
why3-examples_1.8.0-2build1_all.deb                19-Jun-2025 23:39      4M
why3_1.7.2-2build1.debian.tar.xz                   06-Sep-2024 15:36     18K
why3_1.7.2-2build1.dsc                             06-Sep-2024 15:36    2687
why3_1.7.2-2build1_amd64.deb                       06-Sep-2024 16:41     11M
why3_1.7.2.orig.tar.bz2                            12-Aug-2024 17:33      6M
why3_1.8.0-2build1.debian.tar.xz                   19-Jun-2025 17:20     18K
why3_1.8.0-2build1.dsc                             19-Jun-2025 17:20    2375
why3_1.8.0-2build1_amd64.deb                       19-Jun-2025 23:39     13M