GitHub IssuesEvent at 2014-01-24 15:52:10
Repository: coq-of-ocaml
Actor: clarus
Payload: action: opened
issue: 26249560
number: 36