added to debian/control the XS-X-Vcs-Svn field pointing to the package's SVN URL
added to debian/control the XS-X-Vcs-Svn field pointing to the package's SVN URL

ezyang/coq-packaging-precise,ezyang/coq-packaging-precise,ezyang/coq-packaging,ezyang/coq-packaging,ezyang/coq-packaging-precise,ezyang/coq-packaging