Index of /loongnix/25/pool/main/f/flocq/

../
flocq_4.1.4-2.debian.tar.xz                        15-Nov-2024 10:45                1908
flocq_4.1.4-2.dsc                                  15-Nov-2024 10:45                1786
flocq_4.1.4.orig.tar.bz2                           15-Nov-2024 10:45              333601
libcoq-flocq_4.1.4-2_loong64.deb                   29-Oct-2024 12:05             3455948