Back to bug 698558
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| jer | 2019-10-26 08:05:05 UTC | Attachment #593966 Attachment mime type | text/x-log | text/plain |
| jer | 2019-10-26 08:06:22 UTC | Summary | sci-mathematics/psmt2-frontend-0.2 fails to build | sci-mathematics/psmt2-frontend-0.2 - ocaml: Error: Files .../work/psmt2-frontend-0.2/src/smtlib_syntax.cmo and .../work/psmt2-frontend-0.2/src/smtlib_ty.cmo make inconsistent assumptions over interface Smtlib_ty |
| jer | 2019-10-26 08:06:47 UTC | Assignee | bug-wranglers | tupone |
| tupone | 2019-10-28 20:10:28 UTC | Resolution | --- | TEST-REQUEST |
| Status | UNCONFIRMED | RESOLVED |
Back to bug 698558