public string getSpecLink()
 {
     return(Convert.ToString(repo.getSpecLink()));
 }