Index of /debian/pool/main/c/coq-unimath/

---

../
coq-unimath_20220816-2.debian.tar.xz               25-Jan-2023 13:55    1776
coq-unimath_20220816-2.dsc                         25-Jan-2023 13:55    2099
coq-unimath_20220816.orig.tar.gz                   22-Aug-2022 14:11      2M
coq-unimath_20240923-2.debian.tar.xz               25-Nov-2024 15:32    2284
coq-unimath_20240923-2.dsc                         25-Nov-2024 15:32    2109
coq-unimath_20240923.orig.tar.gz                   20-Nov-2024 12:02      3M
coq-unimath_20250923-2.debian.tar.xz               11-Nov-2025 20:20    2400
coq-unimath_20250923-2.dsc                         11-Nov-2025 20:20    2118
coq-unimath_20250923.orig.tar.gz                   29-Oct-2025 11:24      4M
coq-unimath_20260603-1.debian.tar.xz               10-Jul-2026 18:59    2404
coq-unimath_20260603-1.dsc                         10-Jul-2026 18:59    2118
coq-unimath_20260603.orig.tar.gz                   10-Jul-2026 18:59      4M
libcoq-unimath_20220816-2+b1_amd64.deb             13-Feb-2023 10:59     39M
libcoq-unimath_20220816-2+b1_arm64.deb             13-Feb-2023 16:58     39M
libcoq-unimath_20220816-2+b1_armhf.deb             13-Feb-2023 20:56     39M
libcoq-unimath_20220816-2+b1_i386.deb              13-Feb-2023 10:59     39M
libcoq-unimath_20220816-2+b1_ppc64el.deb           13-Feb-2023 17:44     39M
libcoq-unimath_20220816-2+b1_s390x.deb             13-Feb-2023 11:44     39M
libcoq-unimath_20240923-2+b4_amd64.deb             15-Jun-2025 13:45     49M
libcoq-unimath_20240923-2+b4_arm64.deb             15-Jun-2025 13:40     49M
libcoq-unimath_20240923-2+b4_ppc64el.deb           15-Jun-2025 13:45     49M
libcoq-unimath_20240923-2+b4_riscv64.deb           16-Jun-2025 19:29     49M
libcoq-unimath_20240923-2+b4_s390x.deb             16-Jun-2025 19:34     49M
libcoq-unimath_20240923-2+b6_ppc64el.deb           20-Jun-2026 17:51     49M
libcoq-unimath_20240923-2+b6_riscv64.deb           22-Jun-2026 22:11     49M
libcoq-unimath_20240923-2+b6_s390x.deb             20-Jun-2026 19:47     49M
libcoq-unimath_20240923-2+b7_amd64.deb             20-Jun-2026 17:46     49M
libcoq-unimath_20240923-2+b7_arm64.deb             20-Jun-2026 17:36     49M
libcoq-unimath_20260603-1_amd64.deb                10-Jul-2026 18:59     56M
libcoq-unimath_20260603-1_arm64.deb                10-Jul-2026 20:09     56M
libcoq-unimath_20260603-1_armhf.deb                11-Jul-2026 03:18     56M
libcoq-unimath_20260603-1_i386.deb                 11-Jul-2026 08:10     56M
libcoq-unimath_20260603-1_ppc64el.deb              10-Jul-2026 20:24     56M
libcoq-unimath_20260603-1_s390x.deb                10-Jul-2026 21:46     56M

---

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.