BULK> maude-2.0.1 (lang/maude) is broken because it depends upon gmp-4.1.2 (devel/gmp) which is broken.
Please view the build log for gmp-4.1.2
BULK> maude-2.0.1 (lang/maude) is broken because it depends upon libtecla-1.5.0 (devel/libtecla) which is broken.
Please view the build log for libtecla-1.5.0