GitHub PushEvent at 2014-09-26 10:41:59
Repository: dep-typed-heaps-hs
Actor: jstolarek
Payload: {"shas":[["cb02c4d2f2634f1de5746ad49bc5ae585fdc5dd1","fd5ac95021389c664c1d9007327b3b9c9eebb8bb@p.lodz.pl","Combined proofs, two-pass merge","Jan Stolarek",true]],"size":1,"ref":"refs/heads/master","head":"cb02c4d2f2634f1de5746ad49bc5ae585fdc5dd1"}