GitHub PushEvent at 2014-09-11 19:08:24
Repository: micro-policies-coq
Actor: catalin-hritcu
Payload: {"shas":[["1d27a5acd750515db98c0fee9fe758cef939a808","f1b89739ee0d76620764af569435c64abee7d584@gmail.com","Added coqide target","Catalin Hritcu",true]],"size":1,"ref":"refs/heads/master","head":"1d27a5acd750515db98c0fee9fe758cef939a808"}