GitHub PushEvent at 2014-09-03 20:00:52
Repository: template-coq
Actor: gmalecha
Payload: {"shas":[["6e0c6fbfafcde38117486e3f91d1e06514532e18","20053a48688cff52b9d62b07b361c9ccc1cfc644@cs.harvard.edu","support for recursive reification.","Gregory Malecha",true]],"size":1,"ref":"refs/heads/master","head":"6e0c6fbfafcde38117486e3f91d1e06514532e18"}