So far, I have gathered a list of installations from MacPorts which have failed me.
- Maude 2.6: Fortunately, the developers of Maude have a precompiled version on their website.
- Ipe 7.1.1: An update with MacPorts to version 7.1.2 works.
- Boost 1.48.0_4: Fortunately, an old version 1.48.0_2 works for me. Update: An update of MacPorts to version 2.0.4 installs Boost 1.49.0_0 successfully.
gconf: This set of modules is newly discovered when I try to install UPPAAL DBM Ruby bindings. No solution yet.