{"push_id":674813397,"size":1,"distinct_size":1,"ref":"refs/heads/univ-poly","head":"67ad886c3a8240c573c43671d0c8d8ec57f03a75","before":"04d5ab2fdecd71ad98d54714c5622e7dbad2003d","commits":[{"sha":"67ad886c3a8240c573c43671d0c8d8ec57f03a75","author":{"email":"c254eda801bce04e1df6ae386a0fe0292fd3aca5@iis.sinica.edu.tw","name":"Shin-Cheng Mu"},"message":"Tweaks in the proof in Data.Generic.Greedy.","distinct":true,"url":"https://api.github.com/repos/scmu/aopa/commits/67ad886c3a8240c573c43671d0c8d8ec57f03a75"}]}