Name                              Last modified      Size  
 Parent Directory                                       -   
 flocq_4.1.0-3.debian.tar.xz       2023-01-25 09:53  1.5K  
 flocq_4.1.0-3.dsc                 2023-01-25 09:53  2.0K  
 flocq_4.1.0.orig.tar.bz2          2022-06-29 14:40  325K  
 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  
 flocq_4.2.2-2.debian.tar.xz       2026-07-28 11:55  2.0K  
 flocq_4.2.2-2.dsc                 2026-07-28 11:55  2.0K  
 flocq_4.2.2.orig.tar.bz2          2026-07-10 17:53  322K  
 libcoq-flocq_4.1.0-3+b1_amd64.deb 2023-02-13 06:26  3.2M  
 libcoq-flocq_4.2.1-1+b2_amd64.deb 2025-06-15 12:49  3.3M  
 libcoq-flocq_4.2.1-1+b5_amd64.deb 2026-06-20 16:50  3.3M  
 libcoq-flocq_4.2.2-2+b1_amd64.deb 2026-07-28 12:35  3.3M