Index of /ubuntu-focal-universe/pool/universe/w/why3/

../
libwhy3-ocaml-dev_1.2.1-6_amd64.deb                01-Oct-2021 16:38             7937692
why3-coq_1.2.1-6_amd64.deb                         01-Oct-2021 16:16              582556
why3-doc-html_1.2.1-6_all.deb                      01-Oct-2021 15:54              296720
why3-doc-pdf_1.2.1-6_all.deb                       01-Oct-2021 16:54             1261696
why3-examples_1.2.1-6_all.deb                      01-Oct-2021 15:51             2460588
why3_1.2.1-6_amd64.deb                             01-Oct-2021 16:53            30784616