Index of /ubuntu-old/pool/universe/w/why3/
name
size
date
why3_1.7.2-2build1_amd64.deb
11.30M
2025-09-14 17:12:27
why3-examples_1.7.2-2build1_all.deb
3.82M
2025-09-14 17:10:39
why3-doc-pdf_1.7.2-2build1_all.deb
1.27M
2025-09-14 17:10:04
why3-doc-html_1.7.2-2build1_all.deb
0.75M
2025-09-14 17:10:01
libwhy3-ocaml-dev_1.7.2-2build1_amd64.deb
12.67M
2025-09-14 17:10:00
why3_1.5.1-1build3_amd64.deb
11.22M
2024-11-26 19:33:43
why3-examples_1.5.1-1build3_all.deb
3.70M
2024-11-26 19:33:41
why3-doc-pdf_1.5.1-1build3_all.deb
1.19M
2024-11-26 19:33:38
why3-doc-html_1.5.1-1build3_all.deb
0.76M
2024-11-26 19:33:36
libwhy3-ocaml-dev_1.5.1-1build3_amd64.deb
12.07M
2024-11-26 19:33:35
why3_1.6.0-1_amd64.deb
11.42M
2024-11-15 09:20:09
why3-doc-pdf_1.6.0-1_all.deb
1.23M
2024-11-15 09:20:08
why3-examples_1.6.0-1_all.deb
3.76M
2024-11-15 09:20:08
libwhy3-ocaml-dev_1.6.0-1_amd64.deb
12.52M
2024-11-15 09:20:06
why3-doc-html_1.6.0-1_all.deb
0.74M
2024-11-15 09:20:06
why3_1.5.0-1build1_amd64.deb
11.13M
2023-08-11 15:26:30
why3-examples_1.5.0-1build1_all.deb
3.70M
2023-08-11 15:26:26
why3-doc-pdf_1.5.0-1build1_all.deb
1.19M
2023-08-11 15:26:25
why3-doc-html_1.5.0-1build1_all.deb
0.66M
2023-08-11 15:26:24
libwhy3-ocaml-dev_1.5.0-1build1_amd64.deb
11.91M
2023-08-11 15:26:22
why3_1.3.3-1build5_amd64.deb
37.71M
2023-03-30 00:39:46
libwhy3-ocaml-dev_1.3.3-1build5_amd64.deb
9.15M
2023-03-30 00:39:44
why3-coq_1.3.3-1build5_amd64.deb
0.71M
2023-03-30 00:39:44
why3-doc-html_1.3.3-1build5_all.deb
0.66M
2023-03-30 00:39:44
why3-doc-pdf_1.3.3-1build5_all.deb
0.99M
2023-03-30 00:39:44
why3-examples_1.3.3-1build5_all.deb
3.32M
2023-03-30 00:39:44
why3_1.3.3-1build1_amd64.deb
32.53M
2022-02-25 00:24:25
why3-doc-pdf_1.3.3-1build1_all.deb
0.99M
2022-02-25 00:24:24
why3-examples_1.3.3-1build1_all.deb
3.32M
2022-02-25 00:24:24
libwhy3-ocaml-dev_1.3.3-1build1_amd64.deb
8.26M
2022-02-25 00:24:23
why3-coq_1.3.3-1build1_amd64.deb
0.71M
2022-02-25 00:24:23
why3-doc-html_1.3.3-1build1_all.deb
0.66M
2022-02-25 00:24:23