GitHub PushEvent at 2014-01-23 01:12:48
Repository: lean-osx
Actor: soonhokong
Payload: {"shas":[["6cb4d165c94591f8f606b7973ab885c07eb51080","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(builtin/kernel): dependent version of axiom of choice\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["0fb1e3472b26f4c1a882da6b69b7876ea2aa57c2","1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","feat(builtin/kernel): dependent version of axiom of choice","Travis CI",true]],"size":2,"ref":"refs/heads/master","head":"0fb1e3472b26f4c1a882da6b69b7876ea2aa57c2"}