Index of /debian/pool/main/f/flocq
Name
Last modified
Size
Description
Parent Directory
-
flocq_4.1.0-3.debian..>
2023-01-25 12:23
1.5K
flocq_4.1.0-3.dsc
2023-01-25 12:23
2.0K
flocq_4.1.0.orig.tar..>
2022-06-29 17:10
325K
flocq_4.2.1-1.debian..>
2025-02-17 20:07
1.9K
flocq_4.2.1-1.dsc
2025-02-17 20:07
2.0K
flocq_4.2.1.orig.tar..>
2025-02-17 20:07
323K
libcoq-flocq_4.1.0-3..>
2023-02-13 08:56
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 08:57
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 09:12
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 08:56
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 09:12
3.2M
libcoq-flocq_4.1.0-3..>
2023-02-13 08:46
3.2M
libcoq-flocq_4.2.1-1..>
2025-02-18 03:50
3.3M
libcoq-flocq_4.2.1-1..>
2025-02-18 04:11
3.3M
libcoq-flocq_4.2.1-1..>
2025-02-18 03:55
3.3M
libcoq-flocq_4.2.1-1..>
2025-02-18 09:29
3.3M
libcoq-flocq_4.2.1-1..>
2025-02-18 19:40
3.3M
libcoq-flocq_4.2.1-1..>
2025-06-15 14:19
3.3M
libcoq-flocq_4.2.1-1..>
2025-06-15 14:25
3.3M
libcoq-flocq_4.2.1-1..>
2025-06-15 14:25
3.3M
libcoq-flocq_4.2.1-1..>
2025-06-15 15:00
3.3M
libcoq-flocq_4.2.1-1..>
2025-06-17 11:51
3.3M