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


../
flocq_4.1.3-1build4.debian.tar.xz                  08-Apr-2024 08:57                2008
flocq_4.1.3-1build4.dsc                            08-Apr-2024 08:57                2099
flocq_4.1.3.orig.tar.bz2                           22-Dec-2023 18:26              333474
flocq_4.2.1-1build1.debian.tar.xz                  18-Feb-2025 22:25                2016
flocq_4.2.1-1build1.dsc                            18-Feb-2025 22:25                2020
flocq_4.2.1-1build2.debian.tar.xz                  20-Jun-2025 14:22                2084
flocq_4.2.1-1build2.dsc                            20-Jun-2025 14:22                2020
flocq_4.2.1.orig.tar.bz2                           18-Feb-2025 02:39              331047
libcoq-flocq_4.1.3-1build4_amd64.deb               08-Apr-2024 08:57             3766130
libcoq-flocq_4.2.1-1build1_amd64.deb               18-Feb-2025 22:25             3873214
libcoq-flocq_4.2.1-1build2_amd64.deb               20-Jun-2025 14:23             3869428