File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
flint-arb_2.11.1-2build1.debian.tar.xz3.4 KiB2018-Jan-24 23:24
flint-arb_2.11.1-2build1.dsc2.2 KiB2018-Jan-24 23:24
flint-arb_2.11.1.orig.tar.gz1.2 MiB2017-Nov-09 06:29
flint-arb_2.17.0-1.debian.tar.xz3.9 KiB2019-Oct-25 21:05
flint-arb_2.17.0-1.dsc2.1 KiB2019-Oct-25 21:05
flint-arb_2.17.0.orig.tar.gz1.5 MiB2019-Oct-25 21:05
flint-arb_2.22.1-1.debian.tar.xz4.8 KiB2022-Jan-31 18:24
flint-arb_2.22.1-1.dsc2.1 KiB2022-Jan-31 18:24
flint-arb_2.22.1.orig.tar.gz1.8 MiB2022-Jan-31 18:24
libflint-arb-dev_2.11.1-2build1_amd64.deb34.8 KiB2018-Jan-25 06:54
libflint-arb-dev_2.11.1-2build1_i386.deb34.8 KiB2018-Mar-14 12:12
libflint-arb-dev_2.17.0-1_amd64.deb38.0 KiB2019-Oct-25 22:38
libflint-arb-dev_2.22.1-1_amd64.deb42.3 KiB2022-Jan-31 19:09
libflint-arb-doc_2.11.1-2build1_all.deb13.9 KiB2018-Jan-25 06:54
libflint-arb-doc_2.17.0-1_all.deb17.4 KiB2019-Oct-25 22:38
libflint-arb-doc_2.22.1-1_all.deb622.4 KiB2022-Jan-31 19:09
libflint-arb2_2.11.1-2build1_amd64.deb768.5 KiB2018-Jan-25 06:54
libflint-arb2_2.11.1-2build1_i386.deb854.7 KiB2018-Mar-14 12:12
libflint-arb2_2.17.0-1_amd64.deb925.9 KiB2019-Oct-25 22:38
libflint-arb2_2.22.1-1_amd64.deb1.2 MiB2022-Jan-31 19:09