Index of /ubuntu-ports/pool/universe/w/why3/
../
libwhy3-ocaml-dev_0.88.3-1ubuntu4_arm64.deb 07-Apr-2018 02:19 2091248
libwhy3-ocaml-dev_0.88.3-1ubuntu4_armhf.deb 07-Apr-2018 02:19 1992380
libwhy3-ocaml-dev_0.88.3-1ubuntu4_ppc64el.deb 07-Apr-2018 02:19 1975300
libwhy3-ocaml-dev_0.88.3-1ubuntu4_s390x.deb 07-Apr-2018 02:19 1778288
libwhy3-ocaml-dev_1.2.1-6_arm64.deb 12-Mar-2020 14:23 8818368
libwhy3-ocaml-dev_1.2.1-6_armhf.deb 12-Mar-2020 14:18 8024664
libwhy3-ocaml-dev_1.2.1-6_ppc64el.deb 12-Mar-2020 14:18 8318356
libwhy3-ocaml-dev_1.2.1-6_riscv64.deb 05-Apr-2020 15:18 4205008
libwhy3-ocaml-dev_1.2.1-6_s390x.deb 12-Mar-2020 14:08 8029912
libwhy3-ocaml-dev_1.6.0-1build7_arm64.deb 01-Apr-2024 05:46 14211210
libwhy3-ocaml-dev_1.6.0-1build7_armhf.deb 01-Apr-2024 05:46 13233408
libwhy3-ocaml-dev_1.6.0-1build7_ppc64el.deb 01-Apr-2024 14:47 13694336
libwhy3-ocaml-dev_1.6.0-1build7_riscv64.deb 01-Apr-2024 06:56 15089626
libwhy3-ocaml-dev_1.6.0-1build7_s390x.deb 01-Apr-2024 06:56 13060476
libwhy3-ocaml-dev_1.8.0-2_arm64.deb 02-Feb-2025 12:45 14848832
libwhy3-ocaml-dev_1.8.0-2_armhf.deb 02-Feb-2025 12:45 7679710
libwhy3-ocaml-dev_1.8.0-2_ppc64el.deb 02-Feb-2025 12:45 14289274
libwhy3-ocaml-dev_1.8.0-2_riscv64.deb 02-Feb-2025 14:02 16311490
libwhy3-ocaml-dev_1.8.0-2_s390x.deb 02-Feb-2025 12:45 13713332
libwhy3-ocaml-dev_1.8.1-1_arm64.deb 13-Sep-2025 04:30 14860602
libwhy3-ocaml-dev_1.8.1-1_armhf.deb 13-Sep-2025 04:32 7672262
libwhy3-ocaml-dev_1.8.1-1_ppc64el.deb 13-Sep-2025 04:34 14342848
libwhy3-ocaml-dev_1.8.1-1_riscv64.deb 13-Sep-2025 11:18 16360544
libwhy3-ocaml-dev_1.8.1-1_s390x.deb 13-Sep-2025 04:36 13689162
why3-coq_0.88.3-1ubuntu4_arm64.deb 07-Apr-2018 02:19 2602572
why3-coq_0.88.3-1ubuntu4_armhf.deb 07-Apr-2018 02:19 2018288
why3-coq_0.88.3-1ubuntu4_ppc64el.deb 07-Apr-2018 02:19 2220260
why3-coq_0.88.3-1ubuntu4_s390x.deb 07-Apr-2018 02:19 2155084
why3-coq_1.2.1-6_arm64.deb 12-Mar-2020 14:23 578540
why3-coq_1.2.1-6_ppc64el.deb 12-Mar-2020 14:18 578456
why3-doc-html_0.88.3-1ubuntu4_all.deb 07-Apr-2018 02:19 363148
why3-doc-html_1.2.1-6_all.deb 12-Mar-2020 14:18 296720
why3-doc-html_1.6.0-1build7_all.deb 01-Apr-2024 05:45 771212
why3-doc-html_1.8.1-1_all.deb 13-Sep-2025 11:18 929558
why3-doc-pdf_0.88.3-1ubuntu4_all.deb 07-Apr-2018 02:19 1241428
why3-doc-pdf_1.2.1-6_all.deb 12-Mar-2020 14:18 1261696
why3-doc-pdf_1.6.0-1build7_all.deb 01-Apr-2024 05:45 1316094
why3-doc-pdf_1.8.1-1_all.deb 13-Sep-2025 11:18 1407336
why3-examples_0.88.3-1ubuntu4_all.deb 07-Apr-2018 02:19 1616868
why3-examples_1.2.1-6_all.deb 12-Mar-2020 14:18 2460588
why3-examples_1.6.0-1build7_all.deb 01-Apr-2024 05:45 3947434
why3-examples_1.8.0-2_all.deb 02-Feb-2025 12:45 4240206
why3-examples_1.8.1-1_all.deb 13-Sep-2025 11:18 4233260
why3_0.88.3-1ubuntu4.debian.tar.xz 07-Apr-2018 02:19 13732
why3_0.88.3-1ubuntu4.dsc 07-Apr-2018 02:19 2786
why3_0.88.3-1ubuntu4_arm64.deb 07-Apr-2018 02:19 26797888
why3_0.88.3-1ubuntu4_armhf.deb 07-Apr-2018 02:19 11165216
why3_0.88.3-1ubuntu4_ppc64el.deb 07-Apr-2018 02:19 22258152
why3_0.88.3-1ubuntu4_s390x.deb 07-Apr-2018 02:19 21204836
why3_0.88.3.orig.tar.gz 30-Jan-2018 10:34 4245737
why3_1.2.1-6.debian.tar.xz 12-Mar-2020 14:08 23168
why3_1.2.1-6.dsc 12-Mar-2020 14:08 2774
why3_1.2.1-6_arm64.deb 12-Mar-2020 14:23 39378424
why3_1.2.1-6_armhf.deb 12-Mar-2020 14:18 20417156
why3_1.2.1-6_ppc64el.deb 12-Mar-2020 14:18 33131844
why3_1.2.1-6_riscv64.deb 05-Apr-2020 15:18 58141524
why3_1.2.1-6_s390x.deb 12-Mar-2020 14:08 31905380
why3_1.2.1.orig.tar.gz 31-Oct-2019 09:18 6006383
why3_1.6.0-1build7.debian.tar.xz 01-Apr-2024 05:44 18592
why3_1.6.0-1build7.dsc 01-Apr-2024 05:44 2749
why3_1.6.0-1build7_arm64.deb 01-Apr-2024 05:46 16004948
why3_1.6.0-1build7_armhf.deb 01-Apr-2024 05:46 11946360
why3_1.6.0-1build7_ppc64el.deb 01-Apr-2024 14:47 14263488
why3_1.6.0-1build7_riscv64.deb 01-Apr-2024 06:56 14065520
why3_1.6.0-1build7_s390x.deb 01-Apr-2024 06:56 14040158
why3_1.6.0.orig.tar.gz 11-Sep-2023 09:44 6850062
why3_1.8.0-2.debian.tar.xz 02-Feb-2025 12:44 18892
why3_1.8.0-2.dsc 02-Feb-2025 12:44 2140
why3_1.8.0-2_arm64.deb 02-Feb-2025 12:45 15367826
why3_1.8.0-2_armhf.deb 02-Feb-2025 12:45 24606338
why3_1.8.0-2_ppc64el.deb 02-Feb-2025 12:45 13734278
why3_1.8.0-2_riscv64.deb 02-Feb-2025 14:02 13737862
why3_1.8.0-2_s390x.deb 02-Feb-2025 12:45 13829650
why3_1.8.0.orig.tar.bz2 23-Jan-2025 05:47 6637327
why3_1.8.1-1.debian.tar.xz 13-Sep-2025 04:23 19476
why3_1.8.1-1.dsc 13-Sep-2025 04:23 2460
why3_1.8.1-1_arm64.deb 13-Sep-2025 04:30 15404858
why3_1.8.1-1_armhf.deb 13-Sep-2025 04:32 24616340
why3_1.8.1-1_ppc64el.deb 13-Sep-2025 04:34 13750188
why3_1.8.1-1_riscv64.deb 13-Sep-2025 11:18 13761396
why3_1.8.1-1_s390x.deb 13-Sep-2025 04:36 13824562
why3_1.8.1.orig.tar.bz2 13-Sep-2025 04:23 6639678