This paragraph gives some background. In /usr/portage/app-sci I have three ebuilds: "coq-7.4.ebuild coq-8.0-r1.ebuild coq-8.0.ebuild". If I do "emerge coq" it tries to install coq-7.4 which conflicts with a new version (3.8) of ocaml. The ebuild "coq-8.0" says it conflicts with ocaml 3.8 as well. The ebuild "coq-8.0-r1" doesn't say it anymore. Note that their webpage says coq 8.0 needs a patch to work with ocaml 3.8.1 (http://coq.inria.fr/distrib-eng.html). Now the problem. When I say "emerge coq-8.0" or "emerge coq-8.0-r1" it replies with "Specific key requires an operator (app-sci/coq-8.0-r1) (try adding an '=')". One thing in common to the two ebuilds is the "ide? ( >=dev-ml/lablgtk-2.2.0 )" row in DEPENDS variable. (.. but I'm far from an ebuilds knowledgeable person..) Reproducible: Always Steps to Reproduce: 1. emerge -p coq-8.0-r1 or 2. emerge -p coq-8.0 Actual Results: These are the packages that I would merge, in order: Calculating dependencies !!! Problem in app-sci/coq-8.0-r1 dependencies. !!! "Specific key requires an operator (app-sci/coq-8.0-r1) (try adding an '=')" exceptions
It's not coq that gives this message, it's portage. Please check http://www.gentoo.org/doc/en/handbook/handbook-x86.xml?part=3&chap=3 In your case, adding a line =sci-mathematics/coq-8.0-r1 to /etc/portage/package.keywords should be fine.
