Home | Docs | Forums | Lists | Bugs | Planet | Store | GMN | Get Gentoo!
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| jakub@gentoo.org | 2007-10-11 09:52:45 0000 | CC | sci@gentoo.org | |
| AssignedTo | bug-wranglers@gentoo.org | ml@gentoo.org | ||
| Summary | sci-mathematics/coq-8.1_p1 fails to configure | sci-mathematics/coq-8.1_p1 fails to configure - Unknown option "opt" | ||
| aballier@gentoo.org | 2007-10-11 10:04:58 0000 | Status | NEW | RESOLVED |
| Resolution | FIXED |