{"push_id":750967621,"size":1,"distinct_size":1,"ref":"refs/heads/feature-rom","head":"a17ba4d15f4f7fdc11add6da7e22a9ae24ec1c31","before":"221a38aba4462c320a228a907f02b49d54c09348","commits":[{"sha":"a17ba4d15f4f7fdc11add6da7e22a9ae24ec1c31","author":{"email":"3f4dea321b9ad91bf7cc2ff3dd5887379e3b80ea@dhcp-17-85.imdea","name":"Daniel Henry-Mantilla"},"message":"Corrected BR93 proof\n(now the ctxt_ev applications have to be explicit)\nand a minor error in 'harg_of_es'","distinct":true,"url":"https://api.github.com/repos/ZooCrypt/AutoGnP/commits/a17ba4d15f4f7fdc11add6da7e22a9ae24ec1c31"}]}