GitHub PushEvent at 2014-10-09 12:31:38
Repository: coq-ext-lib
Actor: gmalecha
Payload: {"shas":[["0039176f851631200cf490b8e1f8b83aa47f7fd7","34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","nat2string function fixed","Guillaume Claret",true],["56295f9d2bf14382b8354def1107e4323068c5e5","34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","digit2ascii function fixed","Guillaume Claret",true],["c2c71a2a90ac87f2ceb311a6da53a6796b916816","20053a48688cff52b9d62b07b361c9ccc1cfc644@gmail.com","Merge pull request #8 from clarus/master\n\nBug fixes for conversions from integers to strings.","Gregory Malecha",true]],"size":3,"ref":"refs/heads/master","head":"c2c71a2a90ac87f2ceb311a6da53a6796b916816"}