Index of /ubuntu/pool/universe/f/flocq

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 flocq_4.1.0-3build2...> 16-Feb-2023 18:50  1.6K  
 flocq_4.1.0-3build2.dsc 16-Feb-2023 18:50  2.0K  
 flocq_4.1.0.orig.tar..> 29-Jun-2022 23:34  325K  
 flocq_4.1.1-1build1...> 26-Jul-2023 05:19  1.6K  
 flocq_4.1.1-1build1.dsc 26-Jul-2023 05:19  2.0K  
 flocq_4.1.1.orig.tar..> 13-Jun-2023 05:30  325K  
 flocq_4.1.3-1build4...> 08-Apr-2024 07:57  2.0K  
 flocq_4.1.3-1build4.dsc 08-Apr-2024 07:57  2.0K  
 flocq_4.1.3.orig.tar..> 22-Dec-2023 17:26  326K  
 libcoq-flocq_4.1.0-3..> 16-Feb-2023 18:50  3.6M  
 libcoq-flocq_4.1.1-1..> 26-Jul-2023 06:22  3.6M  
 libcoq-flocq_4.1.3-1..> 08-Apr-2024 07:57  3.6M