Package: apt Version: 0.9.3 Severity: minor The apt-get manpage should document the option --solver (for plugging-in an external solver) -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 <=====