Name Last modified Size Description
Parent Directory -
flocq_4.1.0-3.debian..> 2023-01-25 11:53 1.5K
flocq_4.2.1-1.debian..> 2025-02-17 19:37 1.9K
flocq_4.1.0-3.dsc 2023-01-25 11:53 2.0K
flocq_4.2.1-1.dsc 2025-02-17 19:37 2.0K
flocq_4.2.1.orig.tar..> 2025-02-17 19:37 323K
flocq_4.1.0.orig.tar..> 2022-06-29 15:40 325K
libcoq-flocq_4.1.0-3..> 2023-02-13 08:26 3.2M
libcoq-flocq_4.2.1-1..> 2025-02-18 03:20 3.3M