Homepage Università di Trieste
MIRROR

Index of /ubuntu/pool/universe/c/coq-hammer/

Index of /ubuntu/pool/universe/c/coq-hammer/

../
coq-hammer_1.3.2+8.18-1build3.debian.tar.xz        08-Apr-2024 09:57    2768
coq-hammer_1.3.2+8.18-1build3.dsc                  08-Apr-2024 09:57    2190
coq-hammer_1.3.2+8.18.orig.tar.gz                  22-Dec-2023 19:26    145K
coq-hammer_1.3.2+8.20-1build3.debian.tar.xz        18-Feb-2025 23:25    2908
coq-hammer_1.3.2+8.20-1build3.dsc                  18-Feb-2025 23:25    2111
coq-hammer_1.3.2+8.20-1build4.debian.tar.xz        20-Jun-2025 15:22    2940
coq-hammer_1.3.2+8.20-1build4.dsc                  20-Jun-2025 15:22    2111
coq-hammer_1.3.2+8.20-1build7.debian.tar.xz        03-Mar-2026 23:25    3048
coq-hammer_1.3.2+8.20-1build7.dsc                  03-Mar-2026 23:25    2111
coq-hammer_1.3.2+8.20.orig.tar.gz                  20-Nov-2024 20:47    145K
libcoq-hammer_1.3.2+8.18-1build3_amd64.deb         08-Apr-2024 09:57    557K
libcoq-hammer_1.3.2+8.20-1build3_amd64.deb         18-Feb-2025 23:25    555K
libcoq-hammer_1.3.2+8.20-1build4_amd64.deb         20-Jun-2025 15:23    554K
libcoq-hammer_1.3.2+8.20-1build4_arm64.deb         20-Jun-2025 15:24    610K
libcoq-hammer_1.3.2+8.20-1build7_amd64.deb         03-Mar-2026 23:26    554K
libcoq-hammer_1.3.2+8.20-1build7_amd64v3.deb       03-Mar-2026 23:26    556K
libcoq-hammer_1.3.2+8.20-1build7_arm64.deb         03-Mar-2026 23:27    607K
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.