../ flocq_4.1.3-1build4.debian.tar.xz 08-Apr-2024 07:57 2008 flocq_4.1.3-1build4.dsc 08-Apr-2024 07:57 2099 flocq_4.1.3.orig.tar.bz2 22-Dec-2023 17:26 333474 flocq_4.2.1-1build1.debian.tar.xz 18-Feb-2025 21:25 2016 flocq_4.2.1-1build1.dsc 18-Feb-2025 21:25 2020 flocq_4.2.1-1build2.debian.tar.xz 20-Jun-2025 13:22 2084 flocq_4.2.1-1build2.dsc 20-Jun-2025 13:22 2020 flocq_4.2.1.orig.tar.bz2 18-Feb-2025 01:39 331047 libcoq-flocq_4.1.3-1build4_amd64.deb 08-Apr-2024 07:57 3766130 libcoq-flocq_4.2.1-1build1_amd64.deb 18-Feb-2025 21:25 3873214 libcoq-flocq_4.2.1-1build2_amd64.deb 20-Jun-2025 13:23 3869428
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.