{"push_id":670197779,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"674479c63ab1c73c2ed91bf650105299f3ba9729","before":"ab20ab0b62e25eeb6ffc848a5b97b65d3e712b60","commits":[{"sha":"674479c63ab1c73c2ed91bf650105299f3ba9729","author":{"email":"ab984089e918c5d77500817f128715e128d6b20e@cs.ucsd.edu","name":"Valentin Robert"},"message":"relaxing upper bounds in .cabal","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/674479c63ab1c73c2ed91bf650105299f3ba9729"}]}