{"push_id":1088393726,"size":1,"distinct_size":1,"ref":"refs/heads/simplify","head":"3d427de78986311539c87d19914dc880bce469d5","before":"3d45fe46d23ddae1d8d447189e5e279c874431ce","commits":[{"sha":"3d427de78986311539c87d19914dc880bce469d5","author":{"email":"4a8224c8b25d9efb39cff9eccc753acf1b1de4ff@m4x.org","name":"Cyprien Mangin"},"message":"Implementation of the deletion step.","distinct":true,"url":"https://api.github.com/repos/cmangin/Coq-Equations/commits/3d427de78986311539c87d19914dc880bce469d5"}]}