Home | Docs | Forums | Lists | Bugs | Planet | Store | GMN | Get Gentoo!
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| jakub@gentoo.org | 2007-10-20 14:04:23 0000 | CC | sci-mathematics@gentoo.org | |
| AssignedTo | bug-wranglers@gentoo.org | ml@gentoo.org | ||
| Component | Applications | Ebuilds | ||
| aballier@gentoo.org | 2007-10-20 15:43:15 0000 | CC | ml@gentoo.org | |
| AssignedTo | ml@gentoo.org | sparc@gentoo.org | ||
| Summary | sci-mathematics/coq-8.1_p2 version bump | ~sparc keyword needed for dev-ml/camlp5, dep of sci-mathematics/coq-8.1_p2 | ||
| fmccor@gentoo.org | 2007-10-20 20:43:14 0000 | Status | NEW | RESOLVED |
| Resolution | FIXED |