Index of /debian/pool/main/r/rocq-stdlib/

---

../
libcoq-stdlib_9.0.0-3+b3_riscv64.deb               15-Feb-2026 23:57     19M
libcoq-stdlib_9.1.0-1+b1_arm64.deb                 11-Jul-2026 12:38     19M
libcoq-stdlib_9.1.0-1+b1_armhf.deb                 11-Jul-2026 12:48     19M
libcoq-stdlib_9.1.0-1+b1_i386.deb                  11-Jul-2026 12:58     19M
libcoq-stdlib_9.1.0-1+b1_ppc64el.deb               11-Jul-2026 12:38     19M
libcoq-stdlib_9.1.0-1+b1_s390x.deb                 11-Jul-2026 12:38     19M
libcoq-stdlib_9.1.0-1_amd64.deb                    10-Jul-2026 10:56     19M
libcoq-stdlib_9.1.0-1_arm64.deb                    10-Jul-2026 11:21     19M
libcoq-stdlib_9.1.0-1_armhf.deb                    10-Jul-2026 11:31     19M
libcoq-stdlib_9.1.0-1_i386.deb                     10-Jul-2026 11:36     19M
libcoq-stdlib_9.1.0-1_loong64.deb                  10-Jul-2026 12:06     19M
libcoq-stdlib_9.1.0-1_ppc64el.deb                  10-Jul-2026 11:16     19M
libcoq-stdlib_9.1.0-1_s390x.deb                    10-Jul-2026 11:21     19M
rocq-stdlib_9.0.0-3.debian.tar.xz                  11-Nov-2025 19:34    2288
rocq-stdlib_9.0.0-3.dsc                            11-Nov-2025 19:34    2017
rocq-stdlib_9.0.0.orig.tar.gz                      17-Sep-2025 18:06      2M
rocq-stdlib_9.1.0-1.debian.tar.xz                  10-Jul-2026 10:56    2360
rocq-stdlib_9.1.0-1.dsc                            10-Jul-2026 10:56    2017
rocq-stdlib_9.1.0.orig.tar.gz                      10-Jul-2026 10:56      2M

---

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.