{"push_id":911931496,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"902e8b5ba5a562092f0aa971b4439515733e79d4","before":"04198516d049a478ab8e9651cb427a9372734fbc","commits":[{"sha":"902e8b5ba5a562092f0aa971b4439515733e79d4","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"easycrypt: don't ask for a specific version of `ec-toolchain`/`ec-prover`","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/opam/commits/902e8b5ba5a562092f0aa971b4439515733e79d4"}]}