{"push_id":645077617,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0b51ab2b3a8c7bbbc56d7919dd705fd584d908a3","before":"ebe8578508ebd6ecadc42f036c6b713393e16dc6","commits":[{"sha":"0b51ab2b3a8c7bbbc56d7919dd705fd584d908a3","author":{"email":"3f305b4b498a0d8642698be7e34009ae75d7e01c@newartisans.com","name":"John Wiegley"},"message":"Minor changes for GHC 7.10 and Coq 8.5","distinct":true,"url":"https://api.github.com/repos/jwiegley/linearscan/commits/0b51ab2b3a8c7bbbc56d7919dd705fd584d908a3"}]}