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


../
libwhy3-ocaml-dev_1.2.1-6_arm64.deb                31-Aug-2023 02:01             8818368
libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb          05-Apr-2024 00:27            14211210
why3-coq_1.2.1-6_arm64.deb                         31-Aug-2023 02:01              578540
why3-doc-html_1.2.1-6_all.deb                      31-Aug-2023 02:01              296720
why3-doc-html_1.6.0-1build7_all.deb                05-Apr-2024 00:27              771212
why3-doc-pdf_1.2.1-6_all.deb                       31-Aug-2023 02:01             1261696
why3-doc-pdf_1.6.0-1build7_all.deb                 05-Apr-2024 00:27             1316094
why3-examples_1.2.1-6_all.deb                      31-Aug-2023 02:01             2460588
why3-examples_1.6.0-1build7_all.deb                05-Apr-2024 00:27             3947434
why3_1.2.1-6.debian.tar.xz                         31-Aug-2023 02:01               23168
why3_1.2.1-6.dsc                                   31-Aug-2023 02:01                2774
why3_1.2.1-6_arm64.deb                             31-Aug-2023 02:01            39378424
why3_1.2.1.orig.tar.gz                             31-Aug-2023 02:01             6006383
why3_1.6.0-1build7.debian.tar.xz                   05-Apr-2024 00:27               18592
why3_1.6.0-1build7.dsc                             05-Apr-2024 00:27                2749
why3_1.6.0-1build7_arm64.deb                       05-Apr-2024 00:27            16004948
why3_1.6.0.orig.tar.gz                             16-Dec-2023 02:12             6850062