gares/coq — pull request #1 by maximedenes (2012-10-09 12:35:14+00:00)
Title: Removed two files from ssr that do not compile, even in the regular ssr ...

...archive.