Index of /ubuntu/pool/universe/w/why3/
name
size
date
libwhy3-ocaml-dev_1.8.2-3_amd64v3.deb
12.91M
2026-01-06 18:48:52
why3_1.8.2-3_amd64v3.deb
14.14M
2026-01-06 18:48:51
libwhy3-ocaml-dev_1.8.2-3_amd64.deb
12.94M
2026-01-06 18:48:30
why3-doc-html_1.8.2-3_all.deb
0.88M
2026-01-06 18:48:30
why3_1.8.2-3_amd64.deb
14.14M
2026-01-06 18:48:30
why3-doc-pdf_1.8.2-3_all.deb
1.31M
2026-01-06 18:48:29
why3-examples_1.8.2-3_all.deb
4.04M
2026-01-06 18:48:29
why3_1.8.2-3.debian.tar.xz
19.1K
2026-01-06 18:47:14
why3_1.8.2-3.dsc
2.6K
2026-01-06 18:47:13
why3_1.8.2.orig.tar.bz2
6.34M
2025-10-18 11:32:45
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
why3_1.8.1-1.debian.tar.xz
19.0K
2025-09-13 04:23:46
why3_1.8.1.orig.tar.bz2
6.33M
2025-09-13 04:23:46
why3_1.8.1-1.dsc
2.4K
2025-09-13 04:23:45
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
why3_1.8.0-2.debian.tar.xz
18.4K
2025-02-02 12:44:32
why3_1.8.0-2.dsc
2.1K
2025-02-02 12:44:32
why3_1.8.0.orig.tar.bz2
6.33M
2025-01-23 05:47:37
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_1.6.0-1build7.debian.tar.xz
18.2K
2024-04-01 05:44:42
why3_1.6.0-1build7.dsc
2.7K
2024-04-01 05:44:42
why3_1.6.0.orig.tar.gz
6.53M
2023-09-11 09:44:47
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
why3_1.2.1-6.debian.tar.xz
22.6K
2020-03-12 14:08:24
why3_1.2.1-6.dsc
2.7K
2020-03-12 14:08:23
why3_1.2.1.orig.tar.gz
5.73M
2019-10-31 09:18:16
libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb
1.73M
2018-04-07 02:19:37
why3-coq_0.88.3-1ubuntu4_i386.deb
1.81M
2018-04-07 02:19:36
why3_0.88.3-1ubuntu4_i386.deb
12.36M
2018-04-07 02:19:36
libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb
1.77M
2018-04-07 02:19:18
why3-coq_0.88.3-1ubuntu4_amd64.deb
2.01M
2018-04-07 02:19:18
why3-doc-html_0.88.3-1ubuntu4_all.deb
354.6K
2018-04-07 02:19:18
why3-doc-pdf_0.88.3-1ubuntu4_all.deb
1.18M
2018-04-07 02:19:18
why3-examples_0.88.3-1ubuntu4_all.deb
1.54M
2018-04-07 02:19:18
why3_0.88.3-1ubuntu4_amd64.deb
19.84M
2018-04-07 02:19:18
why3_0.88.3-1ubuntu4.debian.tar.xz
13.4K
2018-04-07 02:19:14
why3_0.88.3-1ubuntu4.dsc
2.7K
2018-04-07 02:19:14
why3_0.88.3.orig.tar.gz
4.05M
2018-01-30 10:34:40