Index of /debian/pool/main/e/eprover/

---

../
eprover_2.6+ds-3.debian.tar.xz                     14-Jul-2022 00:03     10K
eprover_2.6+ds-3.dsc                               14-Jul-2022 00:03    1916
eprover_2.6+ds-3_amd64.deb                         14-Jul-2022 00:28    956K
eprover_2.6+ds-3_arm64.deb                         14-Jul-2022 00:43    879K
eprover_2.6+ds-3_armel.deb                         14-Jul-2022 00:59    719K
eprover_2.6+ds-3_armhf.deb                         14-Jul-2022 00:59    690K
eprover_2.6+ds-3_i386.deb                          14-Jul-2022 00:44    960K
eprover_2.6+ds-3_mips64el.deb                      14-Jul-2022 01:25    983K
eprover_2.6+ds-3_mipsel.deb                        14-Jul-2022 01:25    990K
eprover_2.6+ds-3_ppc64el.deb                       14-Jul-2022 00:59    992K
eprover_2.6+ds-3_s390x.deb                         14-Jul-2022 01:15    889K
eprover_2.6+ds.orig.tar.xz                         10-Jul-2022 23:22      1M
eprover_3.2.5+ds-1+b2_loong64.deb                  22-Apr-2026 09:54      1M
eprover_3.2.5+ds-1.debian.tar.xz                   18-Oct-2024 23:19    4448
eprover_3.2.5+ds-1.dsc                             18-Oct-2024 23:19    1927
eprover_3.2.5+ds-1_amd64.deb                       18-Oct-2024 23:47   1022K
eprover_3.2.5+ds-1_arm64.deb                       18-Oct-2024 23:47    904K
eprover_3.2.5+ds-1_armel.deb                       18-Oct-2024 23:47    698K
eprover_3.2.5+ds-1_armhf.deb                       18-Oct-2024 23:47    713K
eprover_3.2.5+ds-1_i386.deb                        18-Oct-2024 23:47   1020K
eprover_3.2.5+ds-1_ppc64el.deb                     18-Oct-2024 23:47   1012K
eprover_3.2.5+ds-1_riscv64.deb                     19-Oct-2024 03:55    972K
eprover_3.2.5+ds-1_s390x.deb                       18-Oct-2024 23:47    926K
eprover_3.2.5+ds.orig.tar.xz                       18-Oct-2024 23:19   1011K

---

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.