{"push_id":703987090,"size":1,"distinct_size":1,"ref":"refs/heads/1.0","head":"e2b0c63d6ce0f2a8d109f012687dcb973eb1eea1","before":"4a912040d0424b126cb700f1dd5086216b60a93a","commits":[{"sha":"e2b0c63d6ce0f2a8d109f012687dcb973eb1eea1","author":{"email":"3ab4b4e365d2c50e7762f909b332e9beb5b4a074@strub.nu","name":"Pierre-Yves Strub"},"message":"pretty-printer: bug fix.\n\nFix missing parentheses around anonymous proc. argument types.\n\n[fix #17206]","distinct":true,"url":"https://api.github.com/repos/EasyCrypt/easycrypt/commits/e2b0c63d6ce0f2a8d109f012687dcb973eb1eea1"}]}