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

      Name                                   Last modified      Size  Description
      Parent Directory                                            -   
      flocq_4.1.3-1build4.debian.tar.xz      2025-05-14 17:59  2.0K  
      flocq_4.1.3-1build4.dsc                2025-05-14 17:59  2.0K  
      flocq_4.1.3.orig.tar.bz2               2025-05-14 17:59  326K  
      flocq_4.2.1-1build1.debian.tar.xz      2025-05-14 17:59  2.0K  
      flocq_4.2.1-1build1.dsc                2025-05-14 17:59  2.0K  
      flocq_4.2.1-1build2.debian.tar.xz      2025-06-20 19:42  2.0K  
      flocq_4.2.1-1build2.dsc                2025-06-20 19:42  2.0K  
      flocq_4.2.1.orig.tar.bz2               2025-05-14 17:59  323K  
      libcoq-flocq_4.1.3-1build4_amd64.deb   2024-04-08 06:33  3.6M  
      libcoq-flocq_4.2.1-1build1_amd64.deb   2025-02-18 22:08  3.7M  
      libcoq-flocq_4.2.1-1build2_amd64.deb   2025-06-20 19:42  3.7M