| / | | |
| libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb | 9,624,832 | Sat, 23 Jan 2021 17:41:14 +0000 |
| libwhy3-ocaml-dev_1.3.3-1+b4_arm64.deb | 10,066,352 | Sat, 23 Jan 2021 17:56:20 +0000 |
| libwhy3-ocaml-dev_1.3.3-1+b4_armhf.deb | 9,605,604 | Sat, 23 Jan 2021 17:40:57 +0000 |
| libwhy3-ocaml-dev_1.3.3-1+b4_i386.deb | 9,299,680 | Sat, 23 Jan 2021 17:56:17 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_amd64.deb | 10,650,164 | Wed, 03 May 2023 21:14:49 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_arm64.deb | 11,267,432 | Wed, 03 May 2023 21:14:45 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_armel.deb | 5,657,944 | Wed, 03 May 2023 21:14:48 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_armhf.deb | 10,634,052 | Wed, 03 May 2023 20:59:25 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_i386.deb | 10,200,820 | Wed, 03 May 2023 21:57:08 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_mips64el.deb | 5,657,308 | Wed, 03 May 2023 21:14:47 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_mipsel.deb | 5,657,612 | Wed, 03 May 2023 20:59:27 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_ppc64el.deb | 10,899,856 | Thu, 04 May 2023 00:12:24 +0000 |
| libwhy3-ocaml-dev_1.5.1-1+b2_s390x.deb | 10,448,772 | Wed, 03 May 2023 20:59:25 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_amd64.deb | 13,055,584 | Sun, 15 Jun 2025 01:07:28 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_arm64.deb | 13,700,520 | Sun, 15 Jun 2025 05:27:57 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_armel.deb | 7,612,940 | Sun, 15 Jun 2025 06:13:26 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_armhf.deb | 7,614,016 | Sun, 15 Jun 2025 06:28:35 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_i386.deb | 7,612,912 | Sun, 15 Jun 2025 01:27:36 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_mips64el.deb | 7,613,712 | Sun, 15 Jun 2025 14:32:33 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_ppc64el.deb | 13,214,856 | Sun, 15 Jun 2025 05:48:09 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_riscv64.deb | 14,612,540 | Sun, 15 Jun 2025 05:58:18 +0000 |
| libwhy3-ocaml-dev_1.8.0-2+b1_s390x.deb | 12,765,000 | Mon, 16 Jun 2025 12:01:28 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_amd64.deb | 13,071,836 | Sun, 20 Apr 2025 17:36:18 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_arm64.deb | 13,679,532 | Sun, 20 Apr 2025 17:36:16 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_armel.deb | 7,612,580 | Sun, 20 Apr 2025 17:46:26 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_armhf.deb | 7,613,592 | Sun, 20 Apr 2025 17:41:23 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_i386.deb | 7,612,848 | Sun, 20 Apr 2025 17:41:21 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_mips64el.deb | 7,613,400 | Sun, 20 Apr 2025 17:41:23 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_ppc64el.deb | 13,248,776 | Sun, 20 Apr 2025 17:36:15 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_riscv64.deb | 14,595,352 | Sun, 20 Apr 2025 19:42:26 +0000 |
| libwhy3-ocaml-dev_1.8.0-3_s390x.deb | 12,752,340 | Sun, 20 Apr 2025 17:36:15 +0000 |
| why3-coq_1.3.3-1+b4_amd64.deb | 757,188 | Sat, 23 Jan 2021 17:41:14 +0000 |
| why3-coq_1.3.3-1+b4_arm64.deb | 757,328 | Sat, 23 Jan 2021 17:56:20 +0000 |
| why3-coq_1.3.3-1+b4_armhf.deb | 756,836 | Sat, 23 Jan 2021 17:40:57 +0000 |
| why3-coq_1.3.3-1+b4_i386.deb | 756,948 | Sat, 23 Jan 2021 17:56:17 +0000 |
| why3-doc-html_1.3.3-1_all.deb | 960,332 | Wed, 23 Sep 2020 20:55:38 +0000 |
| why3-doc-html_1.5.1-1_all.deb | 919,472 | Thu, 20 Oct 2022 02:29:52 +0000 |
| why3-doc-html_1.8.0-3_all.deb | 1,249,952 | Sun, 20 Apr 2025 17:36:19 +0000 |
| why3-doc-pdf_1.3.3-1_all.deb | 1,056,980 | Wed, 23 Sep 2020 20:55:38 +0000 |
| why3-doc-pdf_1.5.1-1_all.deb | 1,280,592 | Thu, 20 Oct 2022 02:29:52 +0000 |
| why3-doc-pdf_1.8.0-3_all.deb | 1,410,652 | Sun, 20 Apr 2025 17:36:19 +0000 |
| why3-examples_1.3.3-1_all.deb | 3,493,616 | Wed, 23 Sep 2020 20:55:38 +0000 |
| why3-examples_1.5.1-1_all.deb | 3,932,100 | Thu, 20 Oct 2022 02:29:52 +0000 |
| why3-examples_1.8.0-2_all.deb | 4,272,972 | Sun, 02 Feb 2025 07:21:28 +0000 |
| why3-examples_1.8.0-3_all.deb | 4,273,108 | Sun, 20 Apr 2025 17:36:19 +0000 |
| why3_1.3.3-1+b4_amd64.deb | 39,497,748 | Sat, 23 Jan 2021 17:41:14 +0000 |
| why3_1.3.3-1+b4_arm64.deb | 47,066,368 | Sat, 23 Jan 2021 17:56:20 +0000 |
| why3_1.3.3-1+b4_armhf.deb | 36,720,980 | Sat, 23 Jan 2021 17:40:57 +0000 |
| why3_1.3.3-1+b4_i386.deb | 36,232,868 | Sat, 23 Jan 2021 17:56:17 +0000 |
| why3_1.3.3-1.debian.tar.xz | 18,428 | Wed, 23 Sep 2020 20:00:10 +0000 |
| why3_1.3.3-1.dsc | 2,839 | Wed, 23 Sep 2020 20:00:10 +0000 |
| why3_1.3.3.orig.tar.gz | 5,807,572 | Wed, 23 Sep 2020 20:00:10 +0000 |
| why3_1.5.1-1+b2_amd64.deb | 10,013,096 | Wed, 03 May 2023 21:14:49 +0000 |
| why3_1.5.1-1+b2_arm64.deb | 11,884,832 | Wed, 03 May 2023 21:14:45 +0000 |
| why3_1.5.1-1+b2_armel.deb | 21,208,108 | Wed, 03 May 2023 21:14:48 +0000 |
| why3_1.5.1-1+b2_armhf.deb | 10,416,960 | Wed, 03 May 2023 20:59:25 +0000 |
| why3_1.5.1-1+b2_i386.deb | 9,301,112 | Wed, 03 May 2023 21:57:08 +0000 |
| why3_1.5.1-1+b2_mips64el.deb | 21,215,064 | Wed, 03 May 2023 21:14:48 +0000 |
| why3_1.5.1-1+b2_mipsel.deb | 21,209,512 | Wed, 03 May 2023 20:59:27 +0000 |
| why3_1.5.1-1+b2_ppc64el.deb | 10,212,340 | Thu, 04 May 2023 00:12:24 +0000 |
| why3_1.5.1-1+b2_s390x.deb | 10,059,324 | Wed, 03 May 2023 20:59:25 +0000 |
| why3_1.5.1-1.debian.tar.xz | 18,464 | Wed, 19 Oct 2022 19:24:47 +0000 |
| why3_1.5.1-1.dsc | 2,662 | Wed, 19 Oct 2022 19:24:47 +0000 |
| why3_1.5.1.orig.tar.gz | 6,727,576 | Wed, 19 Oct 2022 19:24:47 +0000 |
| why3_1.8.0-2+b1_amd64.deb | 12,368,844 | Sun, 15 Jun 2025 01:07:28 +0000 |
| why3_1.8.0-2+b1_arm64.deb | 13,726,736 | Sun, 15 Jun 2025 05:27:57 +0000 |
| why3_1.8.0-2+b1_armel.deb | 21,852,380 | Sun, 15 Jun 2025 06:13:26 +0000 |
| why3_1.8.0-2+b1_armhf.deb | 21,854,524 | Sun, 15 Jun 2025 06:28:35 +0000 |
| why3_1.8.0-2+b1_i386.deb | 21,857,304 | Sun, 15 Jun 2025 01:27:36 +0000 |
| why3_1.8.0-2+b1_mips64el.deb | 21,857,288 | Sun, 15 Jun 2025 14:32:33 +0000 |
| why3_1.8.0-2+b1_ppc64el.deb | 12,394,856 | Sun, 15 Jun 2025 05:48:09 +0000 |
| why3_1.8.0-2+b1_riscv64.deb | 12,472,968 | Sun, 15 Jun 2025 05:58:18 +0000 |
| why3_1.8.0-2+b1_s390x.deb | 12,432,120 | Mon, 16 Jun 2025 12:01:28 +0000 |
| why3_1.8.0-2.debian.tar.xz | 18,892 | Sun, 02 Feb 2025 06:56:05 +0000 |
| why3_1.8.0-2.dsc | 2,140 | Sun, 02 Feb 2025 06:56:05 +0000 |
| why3_1.8.0-3.debian.tar.xz | 18,964 | Sun, 20 Apr 2025 17:06:07 +0000 |
| why3_1.8.0-3.dsc | 2,671 | Sun, 20 Apr 2025 17:06:07 +0000 |
| why3_1.8.0-3_amd64.deb | 12,371,464 | Sun, 20 Apr 2025 17:36:18 +0000 |
| why3_1.8.0-3_arm64.deb | 13,724,852 | Sun, 20 Apr 2025 17:36:16 +0000 |
| why3_1.8.0-3_armel.deb | 21,853,084 | Sun, 20 Apr 2025 17:46:26 +0000 |
| why3_1.8.0-3_armhf.deb | 21,856,080 | Sun, 20 Apr 2025 17:41:23 +0000 |
| why3_1.8.0-3_i386.deb | 21,856,704 | Sun, 20 Apr 2025 17:41:22 +0000 |
| why3_1.8.0-3_mips64el.deb | 21,858,880 | Sun, 20 Apr 2025 17:41:23 +0000 |
| why3_1.8.0-3_ppc64el.deb | 12,400,932 | Sun, 20 Apr 2025 17:36:15 +0000 |
| why3_1.8.0-3_riscv64.deb | 12,476,072 | Sun, 20 Apr 2025 19:42:26 +0000 |
| why3_1.8.0-3_s390x.deb | 12,429,780 | Sun, 20 Apr 2025 17:36:15 +0000 |
| why3_1.8.0.orig.tar.bz2 | 6,637,327 | Wed, 22 Jan 2025 21:04:28 +0000 |