{"push_id":884001502,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ea4171d22c7f797a220b1353002979dfc3d3e8ed","before":"7406f108a9884a86680836840a30d82b013e2ee9","commits":[{"sha":"ea4171d22c7f797a220b1353002979dfc3d3e8ed","author":{"email":"c7c476b282b04234bd51ccfa664d65ca4c057c20@gmail.com","name":"Masahiro Sakai"},"message":"use DeriveDataTypeable to avoid compilation error in ToySolver.SMT","distinct":true,"url":"https://api.github.com/repos/msakai/toysolver/commits/ea4171d22c7f797a220b1353002979dfc3d3e8ed"}]}