Index of /debian/pool/main/f/flocq

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]flocq_4.1.0-3.debian.tar.xz2023-01-25 12:53 1.5K 
[TXT]flocq_4.1.0-3.dsc2023-01-25 12:53 2.0K 
[ ]flocq_4.1.0.orig.tar.bz22022-06-29 16:40 325K 
[ ]flocq_4.2.1-1.debian.tar.xz2025-02-17 20:37 1.9K 
[TXT]flocq_4.2.1-1.dsc2025-02-17 20:37 2.0K 
[ ]flocq_4.2.1-3.debian.tar.xz2025-11-11 22:20 2.0K 
[TXT]flocq_4.2.1-3.dsc2025-11-11 22:20 2.0K 
[ ]flocq_4.2.1.orig.tar.bz22025-02-17 20:37 323K 
[ ]libcoq-flocq_4.1.0-3+b1_amd64.deb2023-02-13 09:26 3.2M 
[ ]libcoq-flocq_4.1.0-3+b1_arm64.deb2023-02-13 09:27 3.2M 
[ ]libcoq-flocq_4.2.1-1+b2_amd64.deb2025-06-15 14:49 3.3M 
[ ]libcoq-flocq_4.2.1-1+b2_arm64.deb2025-06-15 14:55 3.3M 
[ ]libcoq-flocq_4.2.1-1+b2_riscv64.deb2025-06-15 15:30 3.3M 
[ ]libcoq-flocq_4.2.1-1+b3_riscv64.deb2025-12-28 10:47 3.3M 
[ ]libcoq-flocq_4.2.1-1+b4_amd64.deb2026-02-12 19:04 3.3M 
[ ]libcoq-flocq_4.2.1-1+b4_arm64.deb2026-02-12 18:59 3.3M 
[ ]libcoq-flocq_4.2.1-3+b1_amd64.deb2026-02-15 14:22 3.3M 
[ ]libcoq-flocq_4.2.1-3_arm64.deb2026-02-11 14:00 3.3M 
[ ]libcoq-flocq_4.2.1-3_riscv64.deb2026-02-15 12:36 3.3M