Bug#674530: apt-cudf: dist-upgrade never removes packages
Package: apt-cudf
Version: 2.9.16~rc1-1
The CUDF document generated from a dist-upgrade command contains a CUDF
upgrade request for all currently installed packages. As a consequence,
an external solver is not allowed to remove any packages in reply to
a dist-upgrade. This is too conservative, as apt-get dist-upgrade with the
build-in solver does remove packages.
-Ralf.
--
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/
=====> New email address: treinen@pps.univ-paris-diderot.fr <=====
Reply to: