Index of /debian/pool/main/w/why3/

../
libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb             12-May-2025 11:33             9624832
libwhy3-ocaml-dev_1.5.1-1+b2_amd64.deb             17-Apr-2026 15:15            10650164
libwhy3-ocaml-dev_1.7.2-2+b1_amd64.deb             14-Jan-2025 01:02            12588272
libwhy3-ocaml-dev_1.7.2-2+b1_i386.deb              14-Jan-2025 01:03             7351252
libwhy3-ocaml-dev_1.7.2-2+b2_amd64.deb             07-Feb-2025 14:09            12586972
libwhy3-ocaml-dev_1.7.2-2+b2_i386.deb              07-Feb-2025 14:10             7351272
libwhy3-ocaml-dev_1.8.0-2+b1_amd64.deb             17-Apr-2026 15:13            13055584
libwhy3-ocaml-dev_1.8.0-2+b1_i386.deb              13-Jan-2026 13:17             7612912
libwhy3-ocaml-dev_1.8.0-2_amd64.deb                19-Jun-2025 20:09            13060564
libwhy3-ocaml-dev_1.8.0-2_i386.deb                 19-Jun-2025 20:10             7620328
why3-coq_1.3.3-1+b4_amd64.deb                      12-May-2025 11:33              757188
why3-doc-html_1.3.3-1_all.deb                      12-May-2025 11:33              960332
why3-doc-html_1.5.1-1_all.deb                      17-Apr-2026 15:15              919472
why3-doc-html_1.7.2-2_all.deb                      07-Feb-2025 14:10             1061496
why3-doc-pdf_1.3.3-1_all.deb                       12-May-2025 11:33             1056980
why3-doc-pdf_1.5.1-1_all.deb                       17-Apr-2026 15:15             1280592
why3-doc-pdf_1.7.2-2_all.deb                       07-Feb-2025 14:10             1357496
why3-examples_1.3.3-1_all.deb                      12-May-2025 11:33             3493616
why3-examples_1.5.1-1_all.deb                      17-Apr-2026 15:15             3932100
why3-examples_1.7.2-2_all.deb                      07-Feb-2025 14:10             4047648
why3-examples_1.8.0-2_all.deb                      17-Apr-2026 15:14             4272972
why3_1.3.3-1+b4_amd64.deb                          12-May-2025 11:33            39497748
why3_1.5.1-1+b2_amd64.deb                          17-Apr-2026 15:15            10013096
why3_1.7.2-2+b1_amd64.deb                          14-Jan-2025 01:02            10964468
why3_1.7.2-2+b1_i386.deb                           14-Jan-2025 01:03            25316252
why3_1.7.2-2+b2_amd64.deb                          07-Feb-2025 14:09            10964604
why3_1.7.2-2+b2_i386.deb                           07-Feb-2025 14:10            25327032
why3_1.8.0-2+b1_amd64.deb                          17-Apr-2026 15:13            12368844
why3_1.8.0-2+b1_i386.deb                           13-Jan-2026 13:17            21857304
why3_1.8.0-2_amd64.deb                             19-Jun-2025 20:09            12364196
why3_1.8.0-2_i386.deb                              19-Jun-2025 20:10            21858308