GitHub PushEvent at 2014-12-03 20:31:56
Repository: coq-utils
Actor: arthuraa
Payload: {"shas":[["4af481cdc1aece6ef95a14eeabc4a0d751d24a09","e253e4b56e6784659d60022d121c0a9ca58018a8@gmail.com","Cardinality proof for indices.","Arthur Azevedo de Amorim",true]],"size":1,"ref":"refs/heads/master","head":"4af481cdc1aece6ef95a14eeabc4a0d751d24a09"}