Index of /ubuntu/pool/universe/w/why3/
name
size
date
libwhy3-ocaml-dev_1.8.2-3build1_amd64.deb
12.95M
2026-03-01 13:54:41
why3-doc-html_1.8.2-3build1_all.deb
0.87M
2026-03-01 13:54:40
why3-doc-pdf_1.8.2-3build1_all.deb
1.31M
2026-03-01 13:54:40
why3-examples_1.8.2-3build1_all.deb
4.04M
2026-03-01 13:54:40
why3_1.8.2-3build1_amd64.deb
14.14M
2026-03-01 13:54:40
libwhy3-ocaml-dev_1.8.1-1_amd64.deb
13.18M
2025-09-13 11:18:30
why3-doc-html_1.8.1-1_all.deb
0.89M
2025-09-13 11:18:30
why3_1.8.1-1_amd64.deb
12.70M
2025-09-13 11:18:30
why3-doc-pdf_1.8.1-1_all.deb
1.34M
2025-09-13 11:18:29
why3-examples_1.8.1-1_all.deb
4.04M
2025-09-13 11:18:29
libwhy3-ocaml-dev_1.8.0-2_amd64.deb
13.19M
2025-02-02 12:45:16
why3-examples_1.8.0-2_all.deb
4.04M
2025-02-02 12:45:15
why3_1.8.0-2_amd64.deb
12.76M
2025-02-02 12:45:15
libwhy3-ocaml-dev_1.6.0-1build7_amd64.deb
12.55M
2024-04-01 05:45:07
why3-doc-html_1.6.0-1build7_all.deb
0.74M
2024-04-01 05:45:07
why3-doc-pdf_1.6.0-1build7_all.deb
1.26M
2024-04-01 05:45:07
why3-examples_1.6.0-1build7_all.deb
3.76M
2024-04-01 05:45:07
why3_1.6.0-1build7_amd64.deb
13.03M
2024-04-01 05:45:07
why3-examples_1.2.1-6_all.deb
2.35M
2020-03-12 14:18:27
why3_1.2.1-6_amd64.deb
29.36M
2020-03-12 14:18:26
libwhy3-ocaml-dev_1.2.1-6_amd64.deb
7.57M
2020-03-12 14:18:25
why3-coq_1.2.1-6_amd64.deb
0.56M
2020-03-12 14:18:24
why3-doc-html_1.2.1-6_all.deb
289.8K
2020-03-12 14:18:24
why3-doc-pdf_1.2.1-6_all.deb
1.20M
2020-03-12 14:18:24