Back to bug 524678
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| jer | 2014-10-07 09:47:06 UTC | Summary | coq-2.3 New Package | dev-util/coq-2.3 - a (Python based) code generation tool |
| Assignee | bug-wranglers | maintainer-wanted | ||
| david | 2017-12-13 15:20:42 UTC | Status | UNCONFIRMED | RESOLVED |
| Resolution | --- | OBSOLETE |
Back to bug 524678