When I try to emerge coq I get: Calculating dependencies ...done! [blocks B ] >=dev-lang/ocaml-3.08 (is blocking sci-mathematics/coq-7.4) [ebuild N ] dev-lang/ocaml-3.08.3 [ebuild N ] sci-mathematics/coq-7.4 I do not have ocaml already installed and from looking at the ebuil for coq it seems like it depends on ocaml (though I could be wrong, I have no idea how Ebuilds work- they're magic)
Use 8.0-r1... @mattam: Can 8.0-r1 go stable?
(In reply to comment #0) It is easy to solve: Just emerge an older version of ocaml (for example 3.06-r2 or 3.07-r1) and then emerge coq). You can also emerge coq version 8.0-r1 with the ACCEPT_KEYWORDS="~x86" (or ~yourach). And it is better because you can do something like 'USE="ide" emerge coq', and you'll have also the coqide (which I personally prefer, the coqtop is not comfortable to work with it). > When I try to emerge coq I get: > > Calculating dependencies ...done! > [blocks B ] >=dev-lang/ocaml-3.08 (is blocking sci-mathematics/coq-7.4) > [ebuild N ] dev-lang/ocaml-3.08.3 > [ebuild N ] sci-mathematics/coq-7.4 > > I do not have ocaml already installed and from looking at the ebuil for coq it > seems like it depends on ocaml (though I could be wrong, I have no idea how > Ebuilds work- they're magic) >
8.0_p3 stable everywhere, pointless bug.