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: [email protected] <===== -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
