(Ante todo disculpas por el HTML ya que no puedo hacer nada) Buenas: Si lo que quieres es buscar donde te puedes bajar el paquete porque en algun momento conseguiras acceso a internet y piensas llevarte el paquete a casa lo mas rapido es bajarte el paquete desde: http://packages.debian.org Ademas te indicara las dependencias, etc.