{"title":"Coq","summary":null,"repo":"waddledooo/Coq","sha":"245ce35e36dee907705d5f153dd360c206352c26","actor":"waddledooo","page_name":"Coq","actor_gravatar":"d7944f8c28a8d151d740687165c8b21b","action":"edited"}