{"weak": ["gmp >=6.3.0,<7.0a0"]}