| .. |
| libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb |
1854212 |
2025-05-20T13:13:20.690Z |
| libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb |
1817604 |
2025-05-20T13:13:20.909Z |
| libwhy3-ocaml-dev_1.2.1-6_amd64.deb |
7937692 |
2025-05-20T13:13:21.526Z |
| libwhy3-ocaml-dev_1.6.0-1build7_amd64.deb |
13159202 |
2025-05-20T13:13:22.318Z |
| libwhy3-ocaml-dev_1.8.0-2_amd64.deb |
13830520 |
2025-05-20T13:13:22.911Z |
| libwhy3-ocaml-dev_1.8.1-1_amd64.deb |
13817574 |
2025-09-13T14:58:16.720Z |
| libwhy3-ocaml-dev_1.8.1-1_arm64.deb |
14860602 |
2026-04-02T08:41:55.397Z |
| libwhy3-ocaml-dev_1.8.2-3build1_amd64.deb |
13583126 |
2026-03-01T15:48:16.345Z |
| libwhy3-ocaml-dev_1.8.2-3build1_amd64v3.deb |
13597868 |
2026-03-01T15:48:16.271Z |
| libwhy3-ocaml-dev_1.8.2-3build1_arm64.deb |
14879906 |
2026-04-02T08:41:55.423Z |
| why3-coq_0.88.3-1ubuntu4_amd64.deb |
2112184 |
2025-05-20T13:13:22.807Z |
| why3-coq_0.88.3-1ubuntu4_i386.deb |
1900812 |
2025-05-20T13:13:23.922Z |
| why3-coq_1.2.1-6_amd64.deb |
582556 |
2025-05-20T13:13:23.315Z |
| why3-doc-html_0.88.3-1ubuntu4_all.deb |
363148 |
2025-05-20T13:13:23.654Z |
| why3-doc-html_1.2.1-6_all.deb |
296720 |
2025-05-20T13:13:23.999Z |
| why3-doc-html_1.6.0-1build7_all.deb |
771212 |
2025-05-20T13:13:24.278Z |
| why3-doc-html_1.8.1-1_all.deb |
929558 |
2025-09-13T14:58:14.607Z |
| why3-doc-html_1.8.2-3build1_all.deb |
915434 |
2026-03-01T15:48:15.050Z |
| why3-doc-pdf_0.88.3-1ubuntu4_all.deb |
1241428 |
2025-05-20T13:13:24.805Z |
| why3-doc-pdf_1.2.1-6_all.deb |
1261696 |
2025-05-20T13:13:25.081Z |
| why3-doc-pdf_1.6.0-1build7_all.deb |
1316094 |
2025-05-20T13:13:25.269Z |
| why3-doc-pdf_1.8.1-1_all.deb |
1407336 |
2025-09-13T14:58:16.722Z |
| why3-doc-pdf_1.8.2-3build1_all.deb |
1369112 |
2026-03-01T15:48:14.994Z |
| why3-examples_0.88.3-1ubuntu4_all.deb |
1616868 |
2025-05-20T13:13:25.772Z |
| why3-examples_1.2.1-6_all.deb |
2460588 |
2025-05-20T13:13:26.001Z |
| why3-examples_1.6.0-1build7_all.deb |
3947434 |
2025-05-20T13:13:26.293Z |
| why3-examples_1.8.0-2_all.deb |
4240206 |
2025-05-20T13:13:26.836Z |
| why3-examples_1.8.1-1_all.deb |
4233260 |
2025-09-13T14:58:16.291Z |
| why3-examples_1.8.2-3build1_all.deb |
4231988 |
2026-03-01T15:48:15.142Z |
| why3_0.88.3-1ubuntu4.debian.tar.xz |
13732 |
2025-05-20T13:13:26.825Z |
| why3_0.88.3-1ubuntu4.dsc |
2786 |
2025-05-20T13:13:27.008Z |
| why3_0.88.3-1ubuntu4_amd64.deb |
20802412 |
2025-05-20T13:13:28.352Z |
| why3_0.88.3-1ubuntu4_i386.deb |
12960992 |
2025-05-20T13:13:28.429Z |
| why3_0.88.3.orig.tar.gz |
4245737 |
2025-05-20T13:13:28.362Z |
| why3_1.2.1-6.debian.tar.xz |
23168 |
2025-05-20T13:13:28.413Z |
| why3_1.2.1-6.dsc |
2774 |
2025-05-20T13:13:28.649Z |
| why3_1.2.1-6_amd64.deb |
30784616 |
2025-05-20T13:13:29.722Z |
| why3_1.2.1.orig.tar.gz |
6006383 |
2025-05-20T13:13:29.576Z |
| why3_1.6.0-1build7.debian.tar.xz |
18592 |
2025-05-20T13:13:29.773Z |
| why3_1.6.0-1build7.dsc |
2749 |
2025-05-20T13:13:30.025Z |
| why3_1.6.0-1build7_amd64.deb |
13666220 |
2025-05-20T13:13:30.552Z |
| why3_1.6.0.orig.tar.gz |
6850062 |
2025-05-20T13:13:31.178Z |
| why3_1.8.0-2.debian.tar.xz |
18892 |
2025-05-20T13:13:32.589Z |
| why3_1.8.0-2.dsc |
2140 |
2025-05-20T13:13:32.233Z |
| why3_1.8.0-2_amd64.deb |
13379768 |
2025-05-20T13:13:33.225Z |
| why3_1.8.0.orig.tar.bz2 |
6637327 |
2025-05-20T13:13:40.773Z |
| why3_1.8.1-1.debian.tar.xz |
19476 |
2025-09-13T08:44:39.657Z |
| why3_1.8.1-1.dsc |
2460 |
2025-09-13T08:44:39.724Z |
| why3_1.8.1-1_amd64.deb |
13319492 |
2025-09-13T14:58:16.293Z |
| why3_1.8.1-1_arm64.deb |
15404858 |
2026-04-02T08:41:54.622Z |
| why3_1.8.1.orig.tar.bz2 |
6639678 |
2025-09-13T08:44:40.023Z |
| why3_1.8.2-3build1.debian.tar.xz |
19652 |
2026-03-01T15:48:14.543Z |
| why3_1.8.2-3build1.dsc |
2701 |
2026-03-01T15:48:14.594Z |
| why3_1.8.2-3build1_amd64.deb |
14831190 |
2026-03-01T15:48:15.767Z |
| why3_1.8.2-3build1_amd64v3.deb |
14829498 |
2026-03-01T15:48:15.896Z |
| why3_1.8.2-3build1_arm64.deb |
16883488 |
2026-04-02T08:41:55.385Z |
| why3_1.8.2.orig.tar.bz2 |
6644926 |
2026-04-16T21:18:46.431Z |