Name Last modified Size Description
Parent Directory -
libgmp-ocaml-dev_20021123-17build3_amd64.deb 19-Nov-2011 01:03 98K
libgmp-ocaml-dev_20021123-17build3_i386.deb 19-Nov-2011 00:05 95K
libgmp-ocaml-dev_20021123-17build4_amd64.deb 23-Dec-2013 14:43 72K
libgmp-ocaml-dev_20021123-17build4_i386.deb 23-Dec-2013 14:44 71K
libgmp-ocaml-dev_20021123-18build1_amd64.deb 31-Oct-2015 22:38 73K
libgmp-ocaml-dev_20021123-18build1_i386.deb 31-Oct-2015 22:38 73K
libgmp-ocaml-dev_20021123-19build1_amd64.deb 27-Oct-2017 07:44 74K
libgmp-ocaml-dev_20021123-19build1_i386.deb 27-Oct-2017 07:44 74K
libgmp-ocaml-dev_20021123-20build1_amd64.deb 21-Feb-2020 00:53 78K
libgmp-ocaml-dev_20021123-21_amd64.deb 13-Aug-2020 14:29 78K
libgmp-ocaml-dev_20021123-21build1_amd64.deb 02-Nov-2020 15:13 83K
libgmp-ocaml_20021123-17build3_amd64.deb 19-Nov-2011 01:03 25K
libgmp-ocaml_20021123-17build3_i386.deb 19-Nov-2011 00:05 25K
libgmp-ocaml_20021123-17build4_amd64.deb 23-Dec-2013 14:43 19K
libgmp-ocaml_20021123-17build4_i386.deb 23-Dec-2013 14:44 19K
libgmp-ocaml_20021123-18build1_amd64.deb 31-Oct-2015 22:38 20K
libgmp-ocaml_20021123-18build1_i386.deb 31-Oct-2015 22:38 20K
libgmp-ocaml_20021123-19build1_amd64.deb 27-Oct-2017 07:44 20K
libgmp-ocaml_20021123-19build1_i386.deb 27-Oct-2017 07:44 20K
libgmp-ocaml_20021123-20build1_amd64.deb 21-Feb-2020 00:53 20K
libgmp-ocaml_20021123-21_amd64.deb 13-Aug-2020 14:29 20K
libgmp-ocaml_20021123-21build1_amd64.deb 02-Nov-2020 15:13 21K
mlgmp_20021123-17build3.diff.gz 19-Nov-2011 00:04 8.2K
mlgmp_20021123-17build3.dsc 19-Nov-2011 00:04 2.3K
mlgmp_20021123-17build4.diff.gz 23-Dec-2013 14:23 8.2K
mlgmp_20021123-17build4.dsc 23-Dec-2013 14:23 1.6K
mlgmp_20021123-18build1.debian.tar.xz 31-Oct-2015 22:28 7.8K
mlgmp_20021123-18build1.dsc 31-Oct-2015 22:28 1.8K
mlgmp_20021123-19build1.debian.tar.xz 27-Oct-2017 07:44 8.5K
mlgmp_20021123-19build1.dsc 27-Oct-2017 07:44 1.9K
mlgmp_20021123-20build1.debian.tar.xz 21-Feb-2020 00:48 8.7K
mlgmp_20021123-20build1.dsc 21-Feb-2020 00:48 2.2K
mlgmp_20021123-21.debian.tar.xz 13-Aug-2020 14:14 8.9K
mlgmp_20021123-21.dsc 13-Aug-2020 14:14 1.8K
mlgmp_20021123-21build1.debian.tar.xz 02-Nov-2020 14:58 9.0K
mlgmp_20021123-21build1.dsc 02-Nov-2020 14:58 2.1K
mlgmp_20021123.orig.tar.gz 27-Jul-2004 02:47 39K
Apache/2.2 Server at ftp.ntua.gr Port 80