First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 118932
Alias:
Product:
Component:
Status: RESOLVED
Resolution: FIXED
Assigned To: Matthieu Sozeau (RETIRED) <mattam@gentoo.org>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: dreadmassive@yahoo.com
Add CC:
CC:
Remove selected CCs
URL:
Summary:
Status Whiteboard:
Keywords:

Filename Description Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 118932 depends on: Show dependency tree
Bug 118932 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments: (this is where you put emerge --info)


Not eligible to see or edit group visibility for this bug.






View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2006-01-13 16:13 0000 
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)

------- Comment #1 From Jakub Moc (RETIRED) 2006-01-13 16:26:58 0000 ------- 
Use 8.0-r1...

@mattam: Can 8.0-r1 go stable?

------- Comment #2 From 0xdead0c1c 2006-01-14 02:51:27 0000 ------- 
(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)
>

------- Comment #3 From Jakub Moc (RETIRED) 2007-03-11 15:59:49 0000 ------- 
8.0_p3 stable everywhere, pointless bug.
First Last Prev Next    No search results available      Search page      Enter new bug