Index of /pub/gnu_linux/ubuntu/pool/universe/f/flint-arb

      Name                                      Last modified      Size  Description
      Parent Directory                                               -   
      libflint-arb2_2.22.1-1_amd64.deb          2022-01-31 13:09  1.2M  
      libflint-arb2_2.17.0-1_amd64.deb          2019-10-25 17:38  926K  
      libflint-arb2_2.11.1-2build1_i386.deb     2018-03-14 07:12  855K  
      libflint-arb2_2.11.1-2build1_amd64.deb    2018-01-25 00:54  769K  
      libflint-arb-doc_2.22.1-1_all.deb         2022-01-31 13:09  622K  
      libflint-arb-doc_2.17.0-1_all.deb         2019-10-25 17:38   17K  
      libflint-arb-doc_2.11.1-2build1_all.deb   2018-01-25 00:54   14K  
      libflint-arb-dev_2.22.1-1_amd64.deb       2022-01-31 13:09   42K  
      libflint-arb-dev_2.17.0-1_amd64.deb       2019-10-25 17:38   38K  
      libflint-arb-dev_2.11.1-2build1_i386.deb  2018-03-14 07:12   35K  
      libflint-arb-dev_2.11.1-2build1_amd64.deb 2018-01-25 00:54   35K