Index of /ubuntu/pool/universe/f/flocq/

../
flocq_4.1.0-3build2.debian.tar.xz                  16-Feb-2023 18:50                1624
flocq_4.1.0-3build2.dsc                            16-Feb-2023 18:50                2020
flocq_4.1.0.orig.tar.bz2                           29-Jun-2022 23:34              333149
flocq_4.1.1-1build1.debian.tar.xz                  26-Jul-2023 05:19                1660
flocq_4.1.1-1build1.dsc                            26-Jul-2023 05:19                2020
flocq_4.1.1-1build3.debian.tar.xz                  23-Nov-2023 00:05                1696
flocq_4.1.1-1build3.dsc                            23-Nov-2023 00:05                2020
flocq_4.1.1.orig.tar.bz2                           13-Jun-2023 05:30              332909
libcoq-flocq_4.1.0-3build2_amd64.deb               16-Feb-2023 18:50             3784672
libcoq-flocq_4.1.1-1build1_amd64.deb               26-Jul-2023 06:22             3783266
libcoq-flocq_4.1.1-1build3_amd64.deb               23-Nov-2023 00:05             3783424