Index of /pardus/pool/main/w/why3/

../
libwhy3-ocaml-dev_0.87.3-2+b1_amd64.deb            02-Jul-2026 16:05      4M
libwhy3-ocaml-dev_0.87.3-2+b1_i386.deb             02-Jul-2026 15:23      4M
libwhy3-ocaml-dev_1.2.0-1_amd64.deb                02-Jul-2026 12:27      7M
libwhy3-ocaml-dev_1.2.0-1_arm64.deb                02-Jul-2026 12:03      8M
libwhy3-ocaml-dev_1.2.0-1_i386.deb                 02-Jul-2026 12:35      7M
why3-coq_0.87.3-2+b1_amd64.deb                     02-Jul-2026 16:15      5M
why3-coq_0.87.3-2+b1_i386.deb                      02-Jul-2026 15:52      5M
why3-coq_1.2.0-1_amd64.deb                         02-Jul-2026 12:21    583K
why3-coq_1.2.0-1_arm64.deb                         02-Jul-2026 10:48    582K
why3-coq_1.2.0-1_i386.deb                          02-Jul-2026 11:14    588K
why3-doc-html_0.87.3-2_all.deb                     02-Jul-2026 15:45    708K
why3-doc-html_1.2.0-1_all.deb                      02-Jul-2026 12:38    354K
why3-doc-pdf_0.87.3-2_all.deb                      02-Jul-2026 16:02      1M
why3-doc-pdf_1.2.0-1_all.deb                       02-Jul-2026 11:27      1M
why3-examples_0.87.3-2_all.deb                     02-Jul-2026 15:49      2M
why3-examples_1.2.0-1_all.deb                      02-Jul-2026 11:31      2M
why3_0.87.3-2+b1_amd64.deb                         02-Jul-2026 15:40     13M
why3_0.87.3-2+b1_i386.deb                          02-Jul-2026 15:39     11M
why3_0.87.3-2.debian.tar.xz                        02-Jul-2026 15:49     12K
why3_0.87.3-2.dsc                                  02-Jul-2026 15:49    2613
why3_0.87.3.orig.tar.gz                            02-Jul-2026 15:49      4M
why3_1.2.0-1.debian.tar.xz                         02-Jul-2026 11:49     16K
why3_1.2.0-1.dsc                                   02-Jul-2026 11:49    2634
why3_1.2.0-1_amd64.deb                             02-Jul-2026 11:45     29M
why3_1.2.0-1_arm64.deb                             02-Jul-2026 10:49     36M
why3_1.2.0-1_i386.deb                              02-Jul-2026 11:17     19M
why3_1.2.0.orig.tar.gz                             02-Jul-2026 11:49      6M