Homepage Università di Trieste
MIRROR

Index of /ubuntu/pool/universe/p/paramcoq/

Index of /ubuntu/pool/universe/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb    01-Apr-2024 08:51    127K
libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb    18-Feb-2025 23:25    121K
libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deb    20-Jun-2025 15:23    121K
libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deb    20-Jun-2025 15:24    137K
libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64.deb    04-Mar-2026 10:35    120K
libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64v3.deb  04-Mar-2026 10:35    121K
libcoq-paramcoq_1.1.3+coq8.20-1build7_arm64.deb    04-Mar-2026 10:35    137K
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz       01-Apr-2024 07:43    3244
paramcoq_1.1.3+coq8.18-1build2.dsc                 01-Apr-2024 07:43    2189
paramcoq_1.1.3+coq8.18.orig.tar.gz                 22-Dec-2023 19:26     45K
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz       18-Feb-2025 23:25    3380
paramcoq_1.1.3+coq8.20-1build3.dsc                 18-Feb-2025 23:25    2110
paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz       20-Jun-2025 15:22    3412
paramcoq_1.1.3+coq8.20-1build4.dsc                 20-Jun-2025 15:22    2110
paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz       04-Mar-2026 10:35    3504
paramcoq_1.1.3+coq8.20-1build7.dsc                 04-Mar-2026 10:35    2110
paramcoq_1.1.3+coq8.20.orig.tar.gz                 20-Nov-2024 20:47     45K
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.