Index of /debian/pool/main/f/flocq

 Name                              Last modified      Size  
 Parent Directory                                       -   
 flocq_4.1.0-3.debian.tar.xz       2024-10-13 07:46  1.5K  
 flocq_4.1.0-3.dsc                 2024-10-13 07:46  2.0K  
 flocq_4.1.0.orig.tar.bz2          2024-10-13 07:46  325K  
 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.1.0-3+b1_amd64.deb 2024-06-30 03:03  3.2M  
 libcoq-flocq_4.2.0-1+b2_amd64.deb 2024-11-20 17:40  3.3M  

This mirror is brought to you by HR-Tech and Heiko Richter