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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]flint-arb_2.23.0-1build1.dsc2022-07-16 12:28 2.1K 
[TXT]flint-arb_2.17.0-1.dsc2019-10-25 22:05 2.1K 
[TXT]flint-arb_2.22.1-1.dsc2022-01-31 18:24 2.1K 
[TXT]flint-arb_2.11.1-2build1.dsc2018-01-24 23:24 2.2K 
[   ]flint-arb_2.11.1-2build1.debian.tar.xz2018-01-24 23:24 3.4K 
[   ]flint-arb_2.17.0-1.debian.tar.xz2019-10-25 22:05 3.9K 
[   ]flint-arb_2.22.1-1.debian.tar.xz2022-01-31 18:24 4.8K 
[   ]flint-arb_2.23.0-1build1.debian.tar.xz2022-07-16 12:28 4.9K 
[   ]libflint-arb-doc_2.11.1-2build1_all.deb2018-01-25 06:54 14K 
[   ]libflint-arb-doc_2.17.0-1_all.deb2019-10-25 23:38 17K 
[   ]libflint-arb-dev_2.11.1-2build1_i386.deb2018-03-14 12:12 35K 
[   ]libflint-arb-dev_2.11.1-2build1_amd64.deb2018-01-25 06:54 35K 
[   ]libflint-arb-dev_2.17.0-1_amd64.deb2019-10-25 23:38 38K 
[   ]libflint-arb-dev_2.22.1-1_amd64.deb2022-01-31 19:09 42K 
[   ]libflint-arb-dev_2.23.0-1build1_amd64.deb2022-07-17 12:58 43K 
[   ]libflint-arb-doc_2.22.1-1_all.deb2022-01-31 19:09 622K 
[   ]libflint-arb-doc_2.23.0-1build1_all.deb2022-07-17 12:58 630K 
[   ]libflint-arb2_2.11.1-2build1_amd64.deb2018-01-25 06:54 769K 
[   ]libflint-arb2_2.11.1-2build1_i386.deb2018-03-14 12:12 855K 
[   ]libflint-arb2_2.17.0-1_amd64.deb2019-10-25 23:38 926K 
[   ]libflint-arb2_2.22.1-1_amd64.deb2022-01-31 19:09 1.2M 
[   ]flint-arb_2.11.1.orig.tar.gz2017-11-09 06:29 1.2M 
[   ]libflint-arb2_2.23.0-1build1_amd64.deb2022-07-17 12:58 1.2M 
[   ]flint-arb_2.17.0.orig.tar.gz2019-10-25 22:05 1.5M 
[   ]flint-arb_2.22.1.orig.tar.gz2022-01-31 18:24 1.8M 
[   ]flint-arb_2.23.0.orig.tar.gz2022-07-10 07:38 1.9M 

Apache/2.4.62 (Fedora Linux) Server at mysql1.hs-esslingen.de Port 443