Well John, what happens if you run sudo apt-get update does it show a number of packages? And if it did, you would certainly run sudo apt-get dist-upgrade However, I have no idea if you would eventually need to modify your sources list? Chime