Homepage Università di Trieste
MIRROR

Index of /ubuntu/pool/universe/e/eprover/

Index of /ubuntu/pool/universe/e/eprover/

../
eprover_3.0.03+ds-1.debian.tar.xz                  13-Dec-2023 00:28    4892
eprover_3.0.03+ds-1.dsc                            13-Dec-2023 00:28    1934
eprover_3.0.03+ds-1_amd64.deb                      13-Dec-2023 00:28      2M
eprover_3.0.03+ds.orig.tar.xz                      13-Dec-2023 00:28   1008K
eprover_3.2.5+ds-1.debian.tar.xz                   31-Oct-2024 18:14    4448
eprover_3.2.5+ds-1.dsc                             31-Oct-2024 18:14    1927
eprover_3.2.5+ds-1_amd64.deb                       31-Oct-2024 20:17      1M
eprover_3.2.5+ds-1_arm64.deb                       31-Oct-2024 20:20      1M
eprover_3.2.5+ds-1build1.debian.tar.xz             17-Jan-2026 01:11    4516
eprover_3.2.5+ds-1build1.dsc                       17-Jan-2026 01:11    1926
eprover_3.2.5+ds-1build1_amd64.deb                 17-Jan-2026 01:15      1M
eprover_3.2.5+ds-1build1_amd64v3.deb               17-Jan-2026 01:16      1M
eprover_3.2.5+ds-1build1_arm64.deb                 17-Jan-2026 01:17      1M
eprover_3.2.5+ds.orig.tar.xz                       31-Oct-2024 18:14   1011K
eprover_3.5.1+ds-1.debian.tar.xz                   04-Aug-2026 00:22    4644
eprover_3.5.1+ds-1.dsc                             04-Aug-2026 00:22    1939
eprover_3.5.1+ds-1_amd64.deb                       04-Aug-2026 01:06    925K
eprover_3.5.1+ds-1_amd64v3.deb                     04-Aug-2026 01:07    947K
eprover_3.5.1+ds-1_arm64.deb                       04-Aug-2026 01:07    894K
eprover_3.5.1+ds.orig.tar.xz                       04-Aug-2026 00:22   1019K
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.