{
    "gmp": {
        "type": "hg",
        "url": "http://gmplib.org:8000/gmp"
    }
}