Package: ftp.debian.org Severity: normal Please bump the priority of nlopt-* packages to optional: nlopt packages doesn't confilct with others. So, debian/control provides now more correct priority/section information.
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org