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