Index of /ubuntu/pool/universe/p/proofgeneral/
../ proofgeneral-doc_4.3~pre130510-1.1_all.deb 28-Feb-2014 14:38 642K proofgeneral-doc_4.3~pre131011-0.2_all.deb 17-Nov-2014 01:34 665K proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 20:28 655K proofgeneral-doc_4.4.1~pre170114-1_all.deb 17-Jan-2017 07:23 656K proofgeneral-doc_4.5-1_all.deb 17-Aug-2023 19:49 667K proofgeneral-doc_4.5-3_all.deb 28-Nov-2024 01:56 646K proofgeneral-doc_4.5-3build1_all.deb 27-Jan-2026 18:44 634K proofgeneral_4.3~pre130510-1.1.debian.tar.xz 28-Feb-2014 14:38 19K proofgeneral_4.3~pre130510-1.1.dsc 28-Feb-2014 14:38 2016 proofgeneral_4.3~pre130510-1.1_all.deb 28-Feb-2014 14:38 353K proofgeneral_4.3~pre130510.orig.tar.gz 18-May-2013 19:33 1023K proofgeneral_4.3~pre131011-0.2.debian.tar.xz 17-Nov-2014 01:33 19K proofgeneral_4.3~pre131011-0.2.dsc 17-Nov-2014 01:33 1975 proofgeneral_4.3~pre131011-0.2_all.deb 17-Nov-2014 01:34 356K proofgeneral_4.3~pre131011.orig.tar.xz 25-Oct-2014 14:32 11M proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 19-Dec-2019 19:58 19K proofgeneral_4.4.1~pre170114-1.2.dsc 19-Dec-2019 19:58 1983 proofgeneral_4.4.1~pre170114-1.2_all.deb 19-Dec-2019 20:28 530K proofgeneral_4.4.1~pre170114-1.debian.tar.xz 17-Jan-2017 07:13 19K proofgeneral_4.4.1~pre170114-1.dsc 17-Jan-2017 07:13 1989 proofgeneral_4.4.1~pre170114-1_all.deb 17-Jan-2017 07:23 530K proofgeneral_4.4.1~pre170114.orig.tar.xz 17-Jan-2017 07:13 9M proofgeneral_4.5-1.debian.tar.xz 17-Aug-2023 19:16 17K proofgeneral_4.5-1.dsc 17-Aug-2023 19:16 2000 proofgeneral_4.5-1_all.deb 17-Aug-2023 19:49 577K proofgeneral_4.5-3.debian.tar.xz 28-Nov-2024 01:56 17K proofgeneral_4.5-3.dsc 28-Nov-2024 01:56 2122 proofgeneral_4.5-3_all.deb 28-Nov-2024 01:56 576K proofgeneral_4.5-3build1.debian.tar.xz 27-Jan-2026 18:43 17K proofgeneral_4.5-3build1.dsc 27-Jan-2026 18:43 2121 proofgeneral_4.5-3build1_all.deb 27-Jan-2026 18:44 576K proofgeneral_4.5.orig.tar.gz 17-Aug-2023 19:16 1M
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.