../ flocq_4.1.0-3.debian.tar.xz 25-Jan-2023 08:53 1540 flocq_4.1.0-3.dsc 25-Jan-2023 08:53 2021 flocq_4.1.0.orig.tar.bz2 29-Jun-2022 12:40 333149 flocq_4.2.1-1.debian.tar.xz 17-Feb-2025 16:37 1940 flocq_4.2.1-1.dsc 17-Feb-2025 16:37 2033 flocq_4.2.1.orig.tar.bz2 17-Feb-2025 16:37 331047 flocq_4.2.2-2.debian.tar.xz 28-Jul-2026 09:55 2024 flocq_4.2.2-2.dsc 28-Jul-2026 09:55 2040 flocq_4.2.2.orig.tar.bz2 10-Jul-2026 15:53 329748 libcoq-flocq_4.1.0-3+b1_amd64.deb 13-Feb-2023 05:26 3307664 libcoq-flocq_4.1.0-3+b1_arm64.deb 13-Feb-2023 05:27 3307708 libcoq-flocq_4.1.0-3+b1_armhf.deb 13-Feb-2023 05:42 3307596 libcoq-flocq_4.1.0-3+b1_i386.deb 13-Feb-2023 05:26 3307452 libcoq-flocq_4.1.0-3+b1_ppc64el.deb 13-Feb-2023 05:42 3307464 libcoq-flocq_4.1.0-3+b1_s390x.deb 13-Feb-2023 05:16 3307276 libcoq-flocq_4.2.1-1+b2_amd64.deb 15-Jun-2025 10:49 3430620 libcoq-flocq_4.2.1-1+b2_arm64.deb 15-Jun-2025 10:55 3430452 libcoq-flocq_4.2.1-1+b2_ppc64el.deb 15-Jun-2025 10:55 3430204 libcoq-flocq_4.2.1-1+b2_riscv64.deb 15-Jun-2025 11:30 3429496 libcoq-flocq_4.2.1-1+b2_s390x.deb 17-Jun-2025 08:21 3429584 libcoq-flocq_4.2.2-2+b1_amd64.deb 28-Jul-2026 10:35 3466016 libcoq-flocq_4.2.2-2_arm64.deb 28-Jul-2026 10:15 3465532 libcoq-flocq_4.2.2-2_armhf.deb 28-Jul-2026 10:30 3464832 libcoq-flocq_4.2.2-2_i386.deb 28-Jul-2026 10:40 3464860 libcoq-flocq_4.2.2-2_loong64.deb 28-Jul-2026 11:06 3465104 libcoq-flocq_4.2.2-2_ppc64el.deb 28-Jul-2026 10:20 3465732 libcoq-flocq_4.2.2-2_riscv64.deb 28-Jul-2026 15:34 3465448 libcoq-flocq_4.2.2-2_s390x.deb 28-Jul-2026 10:20 3465652
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.