renamed Vcs-Svn to match the final name
renamed Vcs-Svn to match the final name

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