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