BULK> coq-7.4nb1 (lang/coq) is broken because it depends upon tk-8.3.4 (x11/tk) which is broken. Please view the build log for tk-8.3.4