unblock 737307 by 737387 thanks MPFI is only an optional dependency of CGAL. Currently it is disabled in the configuration used by the Debian package, but mentioned in Suggests: for users that want to enable it manually.
Multiarch support for MPFI might still be nice to have, but less important for CGAL. Joachim -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
