Index of /pool/main/f/flocq

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 flocq_4.2.1-1.debian.tar.xz       2025-02-17 17:37  1.9K  
 flocq_4.2.1-1.dsc                 2025-02-17 17:37  2.0K  
 flocq_4.2.1.orig.tar.bz2          2025-02-17 17:37  323K  
 libcoq-flocq_4.2.1-1+b2_amd64.deb 2025-06-15 12:49  3.3M  
 libcoq-flocq_4.2.1-1+b2_arm64.deb 2025-06-15 12:55  3.3M