Home | Docs | Forums | Lists | Bugs | Planet | Store | GMN | Get Gentoo!
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| jakub@gentoo.org | 2007-09-14 16:07:06 0000 | CC | ml@gentoo.org | |
| AssignedTo | bug-wranglers@gentoo.org | sci@gentoo.org | ||
| Summary | sci-mathematics/coq: version bump request | sci-mathematics/coq-8.1 version bump request | ||
| markusle@gentoo.org | 2007-09-29 15:46:34 0000 | Status | NEW | RESOLVED |
| Resolution | FIXED |