Welcome to NCTU CSCC Mirror site

Index of /ubuntu/ubuntu/pool/universe/m/mlgmp/

Index of /ubuntu/ubuntu/pool/universe/m/mlgmp/


../
libgmp-ocaml-dev_20021123-17build3_amd64.deb       18-Nov-2011 23:03              100304
libgmp-ocaml-dev_20021123-17build3_i386.deb        18-Nov-2011 22:05               97572
libgmp-ocaml-dev_20021123-17build4_amd64.deb       23-Dec-2013 12:43               73344
libgmp-ocaml-dev_20021123-17build4_i386.deb        23-Dec-2013 12:44               73074
libgmp-ocaml-dev_20021123-18build1_amd64.deb       31-Oct-2015 20:38               74582
libgmp-ocaml-dev_20021123-18build1_i386.deb        31-Oct-2015 20:38               74884
libgmp-ocaml-dev_20021123-19build1_amd64.deb       27-Oct-2017 04:44               75632
libgmp-ocaml-dev_20021123-19build1_i386.deb        27-Oct-2017 04:44               76088
libgmp-ocaml_20021123-17build3_amd64.deb           18-Nov-2011 23:03               25586
libgmp-ocaml_20021123-17build3_i386.deb            18-Nov-2011 22:05               25256
libgmp-ocaml_20021123-17build4_amd64.deb           23-Dec-2013 12:43               19618
libgmp-ocaml_20021123-17build4_i386.deb            23-Dec-2013 12:44               19176
libgmp-ocaml_20021123-18build1_amd64.deb           31-Oct-2015 20:38               20602
libgmp-ocaml_20021123-18build1_i386.deb            31-Oct-2015 20:38               20828
libgmp-ocaml_20021123-19build1_amd64.deb           27-Oct-2017 04:44               20760
libgmp-ocaml_20021123-19build1_i386.deb            27-Oct-2017 04:44               20880
mlgmp_20021123-17build3.diff.gz                    18-Nov-2011 22:04                8370
mlgmp_20021123-17build3.dsc                        18-Nov-2011 22:04                2317
mlgmp_20021123-17build4.diff.gz                    23-Dec-2013 12:23                8398
mlgmp_20021123-17build4.dsc                        23-Dec-2013 12:23                1621
mlgmp_20021123-18build1.debian.tar.xz              31-Oct-2015 20:28                7996
mlgmp_20021123-18build1.dsc                        31-Oct-2015 20:28                1858
mlgmp_20021123-19build1.debian.tar.xz              27-Oct-2017 04:44                8660
mlgmp_20021123-19build1.dsc                        27-Oct-2017 04:44                1944
mlgmp_20021123.orig.tar.gz                         26-Jul-2004 23:47               40051