Index of /gmp/


../
gmp-5.0.2.tar.bz2                                  05-Jul-2017 09:03             2024576
gmp-5.0.2.tar.bz2.sha256                           01-May-2018 09:09                  65
gmp-6.0.0.tar.xz                                   05-Jul-2017 09:03             1904112
gmp-6.0.0.tar.xz.sha256                            01-May-2018 09:09                  65
gmp-6.1.2.tar.xz                                   16-Dec-2016 15:45             1946336
gmp-6.1.2.tar.xz.sha256                            01-May-2018 09:09                  65