GitHub PushEvent at 2014-08-17 08:50:19
Repository: CVC4
Actor: HasibShakur
Payload: {"shas":[["d7f2b9691bf81bacb51176d9e0ade2777b51d6bf","1c29e53ded6ea0ac0da7160bddd370de3c5f5a07@gmail.com","added prenexing code","HasibShakur",true]],"size":1,"ref":"refs/heads/master","head":"d7f2b9691bf81bacb51176d9e0ade2777b51d6bf"}