__peterbraden: OK, so what happens when you run apt-get update?