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

../
libwhy3-ocaml-dev_1.2.1-6_amd64.deb                18-Dec-2024 03:24             7937692
why3-coq_1.2.1-6_amd64.deb                         18-Dec-2024 03:24              582556
why3-doc-html_1.2.1-6_all.deb                      18-Dec-2024 03:24              296720
why3-doc-pdf_1.2.1-6_all.deb                       18-Dec-2024 03:24             1261696
why3-examples_1.2.1-6_all.deb                      18-Dec-2024 03:24             2460588
why3_1.2.1-6.debian.tar.xz                         18-Dec-2023 16:19               23168
why3_1.2.1-6.dsc                                   18-Dec-2023 16:19                2774
why3_1.2.1-6_amd64.deb                             18-Dec-2024 03:24            30784616
why3_1.2.1.orig.tar.gz                             18-Dec-2023 16:19             6006383