GitHub PushEvent at 2014-04-18 15:47:33
Repository: coq-of-ocaml
Actor: clarus
Payload: {"shas":[["a674461af74188c4ae60b9931d5a4b4794bc0837","34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","Interface for lists imported from 'list.interface'","Guillaume Claret",true]],"size":1,"ref":"refs/heads/master","head":"a674461af74188c4ae60b9931d5a4b4794bc0837"}