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

../
libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb        21-Mar-2025 23:42             1854212
libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb         21-Mar-2025 23:42             1817604
libwhy3-ocaml-dev_1.2.1-6_amd64.deb                21-Mar-2025 23:42             7937692
libwhy3-ocaml-dev_1.3.3-1build1_amd64.deb          21-Mar-2025 23:42             8661584
libwhy3-ocaml-dev_1.3.3-1build4_amd64.deb          21-Mar-2025 23:42             9577492
why3-coq_0.88.3-1ubuntu4_amd64.deb                 21-Mar-2025 23:42             2112184
why3-coq_0.88.3-1ubuntu4_i386.deb                  21-Mar-2025 23:42             1900812
why3-coq_1.2.1-6_amd64.deb                         21-Mar-2025 23:42              582556
why3-coq_1.3.3-1build1_amd64.deb                   21-Mar-2025 23:42              740836
why3-coq_1.3.3-1build4_amd64.deb                   21-Mar-2025 23:42              740580
why3-doc-html_0.88.3-1ubuntu4_all.deb              21-Mar-2025 23:42              363148
why3-doc-html_1.2.1-6_all.deb                      21-Mar-2025 23:42              296720
why3-doc-html_1.3.3-1build1_all.deb                21-Mar-2025 23:42              687448
why3-doc-html_1.3.3-1build4_all.deb                21-Mar-2025 23:42              687220
why3-doc-pdf_0.88.3-1ubuntu4_all.deb               21-Mar-2025 23:42             1241428
why3-doc-pdf_1.2.1-6_all.deb                       21-Mar-2025 23:42             1261696
why3-doc-pdf_1.3.3-1build1_all.deb                 21-Mar-2025 23:42             1041216
why3-doc-pdf_1.3.3-1build4_all.deb                 21-Mar-2025 23:42             1041128
why3-examples_0.88.3-1ubuntu4_all.deb              21-Mar-2025 23:42             1616868
why3-examples_1.2.1-6_all.deb                      21-Mar-2025 23:42             2460588
why3-examples_1.3.3-1build1_all.deb                21-Mar-2025 23:42             3477596
why3-examples_1.3.3-1build4_all.deb                21-Mar-2025 23:42             3477364
why3_0.88.3-1ubuntu4.debian.tar.xz                 21-Mar-2025 23:42               13732
why3_0.88.3-1ubuntu4.dsc                           21-Mar-2025 23:42                2786
why3_0.88.3-1ubuntu4_amd64.deb                     21-Mar-2025 23:42            20802412
why3_0.88.3-1ubuntu4_i386.deb                      21-Mar-2025 23:42            12960992
why3_0.88.3.orig.tar.gz                            21-Mar-2025 23:42             4245737
why3_1.2.1-6.debian.tar.xz                         21-Mar-2025 23:42               23168
why3_1.2.1-6.dsc                                   21-Mar-2025 23:42                2774
why3_1.2.1-6_amd64.deb                             21-Mar-2025 23:42            30784616
why3_1.2.1.orig.tar.gz                             21-Mar-2025 23:42             6006383
why3_1.3.3-1build1.debian.tar.xz                   21-Mar-2025 23:42               18500
why3_1.3.3-1build1.dsc                             21-Mar-2025 23:42                2863
why3_1.3.3-1build1_amd64.deb                       21-Mar-2025 23:42            34114028
why3_1.3.3-1build4.debian.tar.xz                   21-Mar-2025 23:42               18592
why3_1.3.3-1build4.dsc                             21-Mar-2025 23:42                2863
why3_1.3.3-1build4_amd64.deb                       21-Mar-2025 23:42            39549404
why3_1.3.3.orig.tar.gz                             21-Mar-2025 23:42             5807572