GitHub PushEvent at 2014-12-15 17:27:41
Repository: coq-amd64
Actor: maximedenes
Payload: {"shas":[["1b86ab33938a97815f8be07d5b55b685157a7c80","1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@maximedenes.fr","Trying to pack in order to avoid name clash for dynlink.","Maxime Dénès",true]],"size":1,"ref":"refs/heads/master","head":"1b86ab33938a97815f8be07d5b55b685157a7c80"}