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

---

../
coq-gappa_1.5.4-1build3.debian.tar.xz              08-Apr-2024 09:57    2396
coq-gappa_1.5.4-1build3.dsc                        08-Apr-2024 09:57    2151
coq-gappa_1.5.4.orig.tar.bz2                       23-Dec-2023 19:16     72K
coq-gappa_1.6.0-1build4.debian.tar.xz              19-Feb-2025 09:52    2500
coq-gappa_1.6.0-1build4.dsc                        19-Feb-2025 09:52    2082
coq-gappa_1.6.0.orig.tar.bz2                       24-Jan-2025 07:56     74K
coq-gappa_1.7.0-1build1.debian.tar.xz              20-Jun-2025 15:22    2288
coq-gappa_1.7.0-1build1.dsc                        20-Jun-2025 15:22    2082
coq-gappa_1.7.0-1build4.debian.tar.xz              04-Mar-2026 19:33    2372
coq-gappa_1.7.0-1build4.dsc                        04-Mar-2026 19:33    2082
coq-gappa_1.7.0.orig.tar.bz2                       01-May-2025 18:23     75K
libcoq-gappa_1.5.4-1build3_amd64.deb               08-Apr-2024 12:59    562K
libcoq-gappa_1.6.0-1build4_amd64.deb               19-Feb-2025 09:53    612K
libcoq-gappa_1.7.0-1build1_amd64.deb               20-Jun-2025 19:40    628K
libcoq-gappa_1.7.0-1build1_arm64.deb               20-Jun-2025 19:40    634K
libcoq-gappa_1.7.0-1build4_amd64.deb               04-Mar-2026 19:34    628K
libcoq-gappa_1.7.0-1build4_amd64v3.deb             04-Mar-2026 19:34    628K
libcoq-gappa_1.7.0-1build4_arm64.deb               04-Mar-2026 19:34    634K

---

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.