Index of /18092020/pool/main/w/why3/

../
libwhy3-ocaml-dev_1.3.1-3+b2_amd64.deb             29-Oct-2020 14:37             8696364
libwhy3-ocaml-dev_1.3.1-3+b2_arm64.deb             29-Oct-2020 14:37             9752432
why3-coq_1.3.1-3+b2_amd64.deb                      29-Oct-2020 15:15              798980
why3-coq_1.3.1-3+b2_arm64.deb                      29-Oct-2020 15:15              794828
why3-doc-html_1.3.1-3_all.deb                      29-Oct-2020 15:15              959896
why3-doc-pdf_1.3.1-3_all.deb                       29-Oct-2020 15:15             1055360
why3-examples_1.3.1-3_all.deb                      29-Oct-2020 15:15             3505860
why3_1.3.1-3+b2_amd64.deb                          29-Oct-2020 15:15            34040060
why3_1.3.1-3+b2_arm64.deb                          29-Oct-2020 15:15            44569904