Index of /debian/pool/main/f/flocq
Name
Last modified
Size
Description
Parent Directory
-
flocq_4.1.0-3.debian..>
2023-01-25 15:53
1.5K
flocq_4.1.0-3.dsc
2023-01-25 15:53
2.0K
flocq_4.1.0.orig.tar..>
2022-06-29 19:40
325K
flocq_4.2.1-1.debian..>
2025-02-17 23:37
1.9K
flocq_4.2.1-1.dsc
2025-02-17 23:37
2.0K
flocq_4.2.1-3.debian..>
2025-11-12 01:20
2.0K
flocq_4.2.1-3.dsc
2025-11-12 01:20
2.0K
flocq_4.2.1.orig.tar..>
2025-02-17 23:37
323K
flocq_4.2.2-1.debian..>
2026-07-10 22:53
2.0K
flocq_4.2.2-1.dsc
2026-07-10 22:53
2.0K
flocq_4.2.2.orig.tar..>
2026-07-10 22:53
322K
libcoq-flocq_4.1.0-3..>
2023-02-13 12:26
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 12:27
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 12:42
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 12:26
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 12:42
3.2M
libcoq-flocq_4.2.1-1..>
2025-06-15 17:49
3.3M
libcoq-flocq_4.2.1-1..>
2025-06-15 17:55
3.3M
libcoq-flocq_4.2.1-1..>
2025-06-15 17:55
3.3M
libcoq-flocq_4.2.1-1..>
2026-06-20 21:50
3.3M
libcoq-flocq_4.2.1-1..>
2026-06-20 21:50
3.3M
libcoq-flocq_4.2.1-1..>
2026-06-20 21:50
3.3M
libcoq-flocq_4.2.2-1..>
2026-07-10 22:53
3.3M
libcoq-flocq_4.2.2-1..>
2026-07-12 01:36
3.3M
libcoq-flocq_4.2.2-1..>
2026-07-12 01:52
3.3M
libcoq-flocq_4.2.2-1..>
2026-07-12 02:07
3.3M
libcoq-flocq_4.2.2-1..>
2026-07-12 01:41
3.3M