Index of /ubuntu/pool/universe/f/flocq
Name Last modified Size
Parent Directory -
flocq_4.1.3.orig.tar.bz2 2023-12-22 10:26 326K
flocq_4.1.3-1build4.debian.tar.xz 2024-04-08 00:57 2.0K
flocq_4.1.3-1build4.dsc 2024-04-08 00:57 2.0K
libcoq-flocq_4.1.3-1build4_amd64.deb 2024-04-08 00:57 3.6M
flocq_4.2.1.orig.tar.bz2 2025-02-17 18:39 323K
flocq_4.2.1-1build1.debian.tar.xz 2025-02-18 14:25 2.0K
flocq_4.2.1-1build1.dsc 2025-02-18 14:25 2.0K
libcoq-flocq_4.2.1-1build1_amd64.deb 2025-02-18 14:25 3.7M
flocq_4.2.1-1build2.debian.tar.xz 2025-06-20 06:22 2.0K
flocq_4.2.1-1build2.dsc 2025-06-20 06:22 2.0K
libcoq-flocq_4.2.1-1build2_amd64.deb 2025-06-20 06:23 3.7M