GitHub PushEvent at 2014-04-01 19:10:55
Repository: UniMath
Actor: DanGrayson
Payload: {"shas":[["2aa39f418fb4102325b4850ceadcf8e7e15d6685","2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","circle ...","Daniel R. Grayson",true]],"size":1,"ref":"refs/heads/master","head":"2aa39f418fb4102325b4850ceadcf8e7e15d6685"}