Back to bug 229937
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| bugzilla | 2018-07-21 21:41:02 UTC | Assignee | ports-bugs | arrowd |
| Flags | maintainer-feedback?(arrowd) | |||
| yuri | 2018-07-22 02:14:49 UTC | Attachment #195347 Attachment is obsolete | 0 | 1 |
| yuri | 2018-07-22 02:15:04 UTC | Summary | math/z3: Split out python binding into a separate port | math/z3: Split out the python binding into a separate port |
| yuri | 2018-07-22 02:45:45 UTC | Attachment #195355 Attachment is obsolete | 0 | 1 |
| yuri | 2018-07-24 21:04:27 UTC | Status | New | Closed |
| Resolution | --- | FIXED |
Back to bug 229937