Index of /debian/pool/main/w/why3/
../ libwhy3-ocaml-dev_1.3.3-1+b4_amd64.deb 23-Jan-2021 19:41 9M libwhy3-ocaml-dev_1.3.3-1+b4_arm64.deb 23-Jan-2021 19:56 10M libwhy3-ocaml-dev_1.3.3-1+b4_armhf.deb 23-Jan-2021 19:40 9M libwhy3-ocaml-dev_1.3.3-1+b4_i386.deb 23-Jan-2021 19:56 9M libwhy3-ocaml-dev_1.5.1-1+b2_amd64.deb 03-May-2023 23:14 10M libwhy3-ocaml-dev_1.5.1-1+b2_arm64.deb 03-May-2023 23:14 11M libwhy3-ocaml-dev_1.5.1-1+b2_armel.deb 03-May-2023 23:14 5M libwhy3-ocaml-dev_1.5.1-1+b2_armhf.deb 03-May-2023 22:59 10M libwhy3-ocaml-dev_1.5.1-1+b2_i386.deb 03-May-2023 23:57 10M libwhy3-ocaml-dev_1.5.1-1+b2_mips64el.deb 03-May-2023 23:14 5M libwhy3-ocaml-dev_1.5.1-1+b2_mipsel.deb 03-May-2023 22:59 5M libwhy3-ocaml-dev_1.5.1-1+b2_ppc64el.deb 04-May-2023 02:12 10M libwhy3-ocaml-dev_1.5.1-1+b2_s390x.deb 03-May-2023 22:59 10M libwhy3-ocaml-dev_1.8.0-2+b1_amd64.deb 15-Jun-2025 03:07 12M libwhy3-ocaml-dev_1.8.0-2+b1_arm64.deb 15-Jun-2025 07:27 13M libwhy3-ocaml-dev_1.8.0-2+b1_armel.deb 15-Jun-2025 08:13 7M libwhy3-ocaml-dev_1.8.0-2+b1_armhf.deb 15-Jun-2025 08:28 7M libwhy3-ocaml-dev_1.8.0-2+b1_i386.deb 15-Jun-2025 03:27 7M libwhy3-ocaml-dev_1.8.0-2+b1_ppc64el.deb 15-Jun-2025 07:48 13M libwhy3-ocaml-dev_1.8.0-2+b1_riscv64.deb 15-Jun-2025 07:58 14M libwhy3-ocaml-dev_1.8.0-2+b1_s390x.deb 16-Jun-2025 14:01 12M libwhy3-ocaml-dev_1.8.2-3+b1_amd64.deb 19-Jun-2026 08:03 11M libwhy3-ocaml-dev_1.8.2-3+b1_arm64.deb 19-Jun-2026 08:29 12M libwhy3-ocaml-dev_1.8.2-3+b1_armhf.deb 19-Jun-2026 09:31 6M libwhy3-ocaml-dev_1.8.2-3+b1_i386.deb 19-Jun-2026 09:36 6M libwhy3-ocaml-dev_1.8.2-3+b1_loong64.deb 18-Jun-2026 12:53 6M libwhy3-ocaml-dev_1.8.2-3+b1_ppc64el.deb 19-Jun-2026 09:10 11M libwhy3-ocaml-dev_1.8.2-3+b1_riscv64.deb 22-Jun-2026 18:00 13M libwhy3-ocaml-dev_1.8.2-3+b1_s390x.deb 18-Jun-2026 13:34 11M why3-coq_1.3.3-1+b4_amd64.deb 23-Jan-2021 19:41 739K why3-coq_1.3.3-1+b4_arm64.deb 23-Jan-2021 19:56 740K why3-coq_1.3.3-1+b4_armhf.deb 23-Jan-2021 19:40 739K why3-coq_1.3.3-1+b4_i386.deb 23-Jan-2021 19:56 739K why3-doc-html_1.3.3-1_all.deb 23-Sep-2020 22:55 938K why3-doc-html_1.5.1-1_all.deb 20-Oct-2022 04:29 898K why3-doc-html_1.8.2-3_all.deb 06-Jan-2026 12:24 1M why3-doc-pdf_1.3.3-1_all.deb 23-Sep-2020 22:55 1M why3-doc-pdf_1.5.1-1_all.deb 20-Oct-2022 04:29 1M why3-doc-pdf_1.8.2-3_all.deb 06-Jan-2026 12:24 1M why3-examples_1.3.3-1_all.deb 23-Sep-2020 22:55 3M why3-examples_1.5.1-1_all.deb 20-Oct-2022 04:29 4M why3-examples_1.8.0-2_all.deb 02-Feb-2025 09:21 4M why3-examples_1.8.2-3_all.deb 06-Jan-2026 12:24 4M why3_1.3.3-1+b4_amd64.deb 23-Jan-2021 19:41 38M why3_1.3.3-1+b4_arm64.deb 23-Jan-2021 19:56 45M why3_1.3.3-1+b4_armhf.deb 23-Jan-2021 19:40 35M why3_1.3.3-1+b4_i386.deb 23-Jan-2021 19:56 35M why3_1.3.3-1.debian.tar.xz 23-Sep-2020 22:00 18K why3_1.3.3-1.dsc 23-Sep-2020 22:00 2839 why3_1.3.3.orig.tar.gz 23-Sep-2020 22:00 6M why3_1.5.1-1+b2_amd64.deb 03-May-2023 23:14 10M why3_1.5.1-1+b2_arm64.deb 03-May-2023 23:14 11M why3_1.5.1-1+b2_armel.deb 03-May-2023 23:14 20M why3_1.5.1-1+b2_armhf.deb 03-May-2023 22:59 10M why3_1.5.1-1+b2_i386.deb 03-May-2023 23:57 9M why3_1.5.1-1+b2_mips64el.deb 03-May-2023 23:14 20M why3_1.5.1-1+b2_mipsel.deb 03-May-2023 22:59 20M why3_1.5.1-1+b2_ppc64el.deb 04-May-2023 02:12 10M why3_1.5.1-1+b2_s390x.deb 03-May-2023 22:59 10M why3_1.5.1-1.debian.tar.xz 19-Oct-2022 21:24 18K why3_1.5.1-1.dsc 19-Oct-2022 21:24 2662 why3_1.5.1.orig.tar.gz 19-Oct-2022 21:24 6M why3_1.8.0-2+b1_amd64.deb 15-Jun-2025 03:07 12M why3_1.8.0-2+b1_arm64.deb 15-Jun-2025 07:27 13M why3_1.8.0-2+b1_armel.deb 15-Jun-2025 08:13 21M why3_1.8.0-2+b1_armhf.deb 15-Jun-2025 08:28 21M why3_1.8.0-2+b1_i386.deb 15-Jun-2025 03:27 21M why3_1.8.0-2+b1_ppc64el.deb 15-Jun-2025 07:48 12M why3_1.8.0-2+b1_riscv64.deb 15-Jun-2025 07:58 12M why3_1.8.0-2+b1_s390x.deb 16-Jun-2025 14:01 12M why3_1.8.0-2.debian.tar.xz 02-Feb-2025 08:56 18K why3_1.8.0-2.dsc 02-Feb-2025 08:56 2140 why3_1.8.0.orig.tar.bz2 22-Jan-2025 23:04 6M why3_1.8.2-3+b1_amd64.deb 19-Jun-2026 08:03 12M why3_1.8.2-3+b1_arm64.deb 19-Jun-2026 08:29 14M why3_1.8.2-3+b1_armhf.deb 19-Jun-2026 09:31 21M why3_1.8.2-3+b1_i386.deb 19-Jun-2026 09:36 21M why3_1.8.2-3+b1_loong64.deb 18-Jun-2026 12:53 21M why3_1.8.2-3+b1_ppc64el.deb 19-Jun-2026 09:10 12M why3_1.8.2-3+b1_riscv64.deb 22-Jun-2026 18:00 12M why3_1.8.2-3+b1_s390x.deb 18-Jun-2026 13:34 12M why3_1.8.2-3.debian.tar.xz 06-Jan-2026 11:18 19K why3_1.8.2-3.dsc 06-Jan-2026 11:18 2677 why3_1.8.2.orig.tar.bz2 23-Sep-2025 22:53 6M
This mirror is provided by University of Trieste - rete@units.it
NO WARRANTY
THIS MIRROR IS PROVIDED "AS IS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED
OR IMPLIED, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE ENTIRE RISK
AS TO THE QUALITY AND PERFORMANCE OF THE MIRROR IS WITH YOU. SHOULD THE
MIRROR PROVE DEFECTIVE, YOU ASSUME THE COST OF ALL NECESSARY SERVICING,
REPAIR OR CORRECTION.
IN NO EVENT UNLESS REQUIRED BY APPLICABLE LAW OR AGREED TO IN WRITING
WILL UNIVERSITY OF TRIESTE OR ANY PEOPLE INVLOLVED IN SERVICING THE
MIRROR BE LIABLE TO YOU FOR DAMAGES,
INCLUDING ANY GENERAL, SPECIAL, INCIDENTAL OR CONSEQUENTIAL DAMAGES
ARISING OUT OF THE USE OR INABILITY TO USE THE MIRROR (INCLUDING BUT NOT
LIMITED TO LOSS OF DATA OR DATA BEING RENDERED INACCURATE OR LOSSES SUSTAINED
BY YOU OR THIRD PARTIES OR A FAILURE OF THE PROGRAM TO OPERATE WITH ANY
OTHER PROGRAMS), EVEN IF UNIVERSITY OF TRIESTE AND PEOPLE INVLOLVED IN
SERVICING THE MIRROR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.