../ coq-stdpp_1.11.0-1.debian.tar.xz 20-Nov-2024 10:02 2772 coq-stdpp_1.11.0-1.dsc 20-Nov-2024 10:02 2076 coq-stdpp_1.11.0.orig.tar.bz2 20-Nov-2024 10:02 257015 coq-stdpp_1.13.0-2.debian.tar.xz 28-Jul-2026 09:44 2884 coq-stdpp_1.13.0-2.dsc 28-Jul-2026 09:44 2082 coq-stdpp_1.13.0.orig.tar.gz 10-Jul-2026 15:53 342787 coq-stdpp_1.8.0-3.debian.tar.xz 25-Jan-2023 08:02 2392 coq-stdpp_1.8.0-3.dsc 25-Jan-2023 08:02 2056 coq-stdpp_1.8.0.orig.tar.gz 19-Aug-2022 09:27 254469 libcoq-stdpp_1.11.0-1+b4_riscv64.deb 15-Jun-2025 11:40 4874052 libcoq-stdpp_1.11.0-1+b5_arm64.deb 15-Jun-2025 10:55 4874348 libcoq-stdpp_1.11.0-1+b5_ppc64el.deb 15-Jun-2025 10:49 4872448 libcoq-stdpp_1.11.0-1+b5_s390x.deb 16-Jun-2025 18:19 4873608 libcoq-stdpp_1.11.0-1+b6_amd64.deb 15-Jun-2025 10:55 4873632 libcoq-stdpp_1.13.0-2+b1_amd64.deb 28-Jul-2026 10:25 5285748 libcoq-stdpp_1.13.0-2_arm64.deb 28-Jul-2026 10:05 5282180 libcoq-stdpp_1.13.0-2_armhf.deb 28-Jul-2026 10:20 5277672 libcoq-stdpp_1.13.0-2_i386.deb 28-Jul-2026 10:30 5278336 libcoq-stdpp_1.13.0-2_loong64.deb 28-Jul-2026 10:46 5281600 libcoq-stdpp_1.13.0-2_ppc64el.deb 28-Jul-2026 10:10 5282128 libcoq-stdpp_1.13.0-2_riscv64.deb 28-Jul-2026 12:52 5285048 libcoq-stdpp_1.13.0-2_s390x.deb 28-Jul-2026 10:05 5284580 libcoq-stdpp_1.8.0-3+b1_amd64.deb 13-Feb-2023 05:27 4061088 libcoq-stdpp_1.8.0-3+b1_arm64.deb 13-Feb-2023 05:27 4061240 libcoq-stdpp_1.8.0-3+b1_armhf.deb 13-Feb-2023 05:27 4058996 libcoq-stdpp_1.8.0-3+b1_i386.deb 13-Feb-2023 05:26 4059660 libcoq-stdpp_1.8.0-3+b1_ppc64el.deb 13-Feb-2023 05:26 4060664 libcoq-stdpp_1.8.0-3+b1_s390x.deb 13-Feb-2023 05:11 4061092
This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.