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

../
libwhy3-ocaml-dev_1.8.2-1build1_amd64.deb          23-Oct-2025 00:08     13M
libwhy3-ocaml-dev_1.8.2-1build1_amd64v3.deb        23-Oct-2025 00:08     13M
why3-doc-html_1.8.2-1build1_all.deb                23-Oct-2025 00:08    908K
why3-doc-pdf_1.8.2-1build1_all.deb                 23-Oct-2025 00:08      1M
why3-examples_1.8.2-1build1_all.deb                23-Oct-2025 00:08      4M
why3_1.8.2-1build1.debian.tar.xz                   23-Oct-2025 00:05     19K
why3_1.8.2-1build1.dsc                             23-Oct-2025 00:05    2695
why3_1.8.2-1build1_amd64.deb                       23-Oct-2025 00:08     13M
why3_1.8.2-1build1_amd64v3.deb                     23-Oct-2025 00:08     13M