Index of /bionic-18.04/pool/universe/w/why3/

../
libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb        23-Feb-2024 18:17             1854212
why3-coq_0.88.3-1ubuntu4_amd64.deb                 23-Feb-2024 18:01             2112184
why3-doc-html_0.88.3-1ubuntu4_all.deb              23-Feb-2024 18:18              363148
why3-doc-pdf_0.88.3-1ubuntu4_all.deb               23-Feb-2024 18:19             1241428
why3-examples_0.88.3-1ubuntu4_all.deb              23-Feb-2024 17:56             1616868
why3_0.88.3-1ubuntu4_amd64.deb                     23-Feb-2024 18:00            20802412