Index of /pool/main/f/flocq

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 flocq_4.1.4-1.debian.tar.xz       2024-04-26 16:01  1.7K  
 flocq_4.1.4-1.dsc                 2024-04-26 16:01  2.0K  
 flocq_4.1.4.orig.tar.bz2          2024-04-26 16:01  326K  
 libcoq-flocq_4.1.4-1+b1_amd64.deb 2024-06-15 13:05  3.3M  
 flocq_4.2.0-1.debian.tar.xz       2024-11-20 11:02  1.9K  
 flocq_4.2.0-1.dsc                 2024-11-20 11:02  2.0K  
 flocq_4.2.0.orig.tar.bz2          2024-11-20 11:02  326K  
 libcoq-flocq_4.2.0-1+b2_amd64.deb 2024-11-20 17:40  3.3M  
 libcoq-flocq_4.2.0-1+b1_arm64.deb 2024-11-20 17:46  3.3M