Index of /ubuntu/pool/universe/w/why3/
../ libwhy3-ocaml-dev_0.88.3-1ubuntu4_amd64.deb 07-Apr-2018 03:19 2M libwhy3-ocaml-dev_0.88.3-1ubuntu4_i386.deb 07-Apr-2018 03:19 2M libwhy3-ocaml-dev_1.2.1-6_amd64.deb 12-Mar-2020 15:18 8M libwhy3-ocaml-dev_1.6.0-1build7_amd64.deb 01-Apr-2024 06:45 13M libwhy3-ocaml-dev_1.8.0-2_amd64.deb 02-Feb-2025 13:45 13M libwhy3-ocaml-dev_1.8.1-1_amd64.deb 13-Sep-2025 12:18 13M libwhy3-ocaml-dev_1.8.1-1_arm64.deb 13-Sep-2025 05:30 14M libwhy3-ocaml-dev_1.8.2-3build1_amd64.deb 01-Mar-2026 14:54 13M libwhy3-ocaml-dev_1.8.2-3build1_amd64v3.deb 01-Mar-2026 14:55 13M libwhy3-ocaml-dev_1.8.2-3build1_arm64.deb 01-Mar-2026 14:55 14M libwhy3-ocaml-dev_1.8.2-3build3_amd64.deb 19-Jul-2026 05:34 13M libwhy3-ocaml-dev_1.8.2-3build3_amd64v3.deb 15-Jul-2026 22:02 13M libwhy3-ocaml-dev_1.8.2-3build3_arm64.deb 16-Jul-2026 06:33 14M why3-coq_0.88.3-1ubuntu4_amd64.deb 07-Apr-2018 03:19 2M why3-coq_0.88.3-1ubuntu4_i386.deb 07-Apr-2018 03:19 2M why3-coq_1.2.1-6_amd64.deb 12-Mar-2020 15:18 569K why3-doc-html_0.88.3-1ubuntu4_all.deb 07-Apr-2018 03:19 355K why3-doc-html_1.2.1-6_all.deb 12-Mar-2020 15:18 290K why3-doc-html_1.6.0-1build7_all.deb 01-Apr-2024 06:45 753K why3-doc-html_1.8.1-1_all.deb 13-Sep-2025 12:18 908K why3-doc-html_1.8.2-3build1_all.deb 01-Mar-2026 14:54 894K why3-doc-html_1.8.2-3build3_all.deb 19-Jul-2026 05:34 895K why3-doc-pdf_0.88.3-1ubuntu4_all.deb 07-Apr-2018 03:19 1M why3-doc-pdf_1.2.1-6_all.deb 12-Mar-2020 15:18 1M why3-doc-pdf_1.6.0-1build7_all.deb 01-Apr-2024 06:45 1M why3-doc-pdf_1.8.1-1_all.deb 13-Sep-2025 12:18 1M why3-doc-pdf_1.8.2-3build1_all.deb 01-Mar-2026 14:54 1M why3-doc-pdf_1.8.2-3build3_all.deb 19-Jul-2026 05:34 1M why3-examples_0.88.3-1ubuntu4_all.deb 07-Apr-2018 03:19 2M why3-examples_1.2.1-6_all.deb 12-Mar-2020 15:18 2M why3-examples_1.6.0-1build7_all.deb 01-Apr-2024 06:45 4M why3-examples_1.8.0-2_all.deb 02-Feb-2025 13:45 4M why3-examples_1.8.1-1_all.deb 13-Sep-2025 12:18 4M why3-examples_1.8.2-3build1_all.deb 01-Mar-2026 14:54 4M why3-examples_1.8.2-3build3_all.deb 19-Jul-2026 05:34 4M why3_0.88.3-1ubuntu4.debian.tar.xz 07-Apr-2018 03:19 13K why3_0.88.3-1ubuntu4.dsc 07-Apr-2018 03:19 2786 why3_0.88.3-1ubuntu4_amd64.deb 07-Apr-2018 03:19 20M why3_0.88.3-1ubuntu4_i386.deb 07-Apr-2018 03:19 12M why3_0.88.3.orig.tar.gz 30-Jan-2018 11:34 4M why3_1.2.1-6.debian.tar.xz 12-Mar-2020 15:08 23K why3_1.2.1-6.dsc 12-Mar-2020 15:08 2774 why3_1.2.1-6_amd64.deb 12-Mar-2020 15:18 29M why3_1.2.1.orig.tar.gz 31-Oct-2019 10:18 6M why3_1.6.0-1build7.debian.tar.xz 01-Apr-2024 06:44 18K why3_1.6.0-1build7.dsc 01-Apr-2024 06:44 2749 why3_1.6.0-1build7_amd64.deb 01-Apr-2024 06:45 13M why3_1.6.0.orig.tar.gz 11-Sep-2023 10:44 7M why3_1.8.0-2.debian.tar.xz 02-Feb-2025 13:44 18K why3_1.8.0-2.dsc 02-Feb-2025 13:44 2140 why3_1.8.0-2_amd64.deb 02-Feb-2025 13:45 13M why3_1.8.0.orig.tar.bz2 23-Jan-2025 06:47 6M why3_1.8.1-1.debian.tar.xz 13-Sep-2025 05:23 19K why3_1.8.1-1.dsc 13-Sep-2025 05:23 2460 why3_1.8.1-1_amd64.deb 13-Sep-2025 12:18 13M why3_1.8.1-1_arm64.deb 13-Sep-2025 05:30 15M why3_1.8.1.orig.tar.bz2 13-Sep-2025 05:23 6M why3_1.8.2-3build1.debian.tar.xz 01-Mar-2026 14:53 19K why3_1.8.2-3build1.dsc 01-Mar-2026 14:53 2701 why3_1.8.2-3build1_amd64.deb 01-Mar-2026 14:54 14M why3_1.8.2-3build1_amd64v3.deb 01-Mar-2026 14:55 14M why3_1.8.2-3build1_arm64.deb 01-Mar-2026 14:55 16M why3_1.8.2-3build3.debian.tar.xz 15-Jul-2026 12:07 19K why3_1.8.2-3build3.dsc 15-Jul-2026 12:07 2701 why3_1.8.2-3build3_amd64.deb 19-Jul-2026 05:34 14M why3_1.8.2-3build3_amd64v3.deb 15-Jul-2026 22:02 14M why3_1.8.2-3build3_arm64.deb 16-Jul-2026 06:33 16M why3_1.8.2.orig.tar.bz2 18-Oct-2025 12:32 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.