Maurilio Genovese : patch for debian repository information