Hi, you can try apt-get update, apt-get dist-upgrade. It will remove some packages. After this update, reinstall the needed packages again. Besides: at the moment the repo is indeed in a very "strange" state. Good luck! Hans