Back to bug 704928
| Who | When | What | Removed | Added |
|---|---|---|---|---|
| jer | 2020-01-07 15:18:07 UTC | Summary | Coq 8.9.1-r1 dies when compiling with ocaml 4.9.0 | sci-mathematics/coq-8.9.1-r1 - ? |
| infra-gitbot | 2020-01-07 21:00:59 UTC | Resolution | --- | FIXED |
| Status | UNCONFIRMED | RESOLVED | ||
| artyom.shinkaroff | 2020-01-08 08:45:28 UTC | Resolution | FIXED | --- |
| Status | RESOLVED | UNCONFIRMED | ||
| jer | 2020-01-08 09:35:26 UTC | Attachment #602756 Attachment mime type | application/x-info | text/plain |
| jer | 2020-01-08 09:35:54 UTC | Attachment #602758 Attachment description | build log | build.log |
| Attachment #602758 Attachment mime type | text/x-log | text/plain | ||
| jer | 2020-01-08 09:36:08 UTC | Summary | sci-mathematics/coq-8.9.1-r1 - ? | sci-mathematics/coq-8.9.1-r1 - src_configure(): Num library not installed, required for OCaml 4.06 or later |
| jer | 2020-01-08 09:36:54 UTC | Assignee | bug-wranglers | sci-mathematics |
| kingjon3377 | 2021-01-29 02:31:50 UTC | CC | kingjon3377 | |
| sam | 2021-01-29 02:37:15 UTC | CC | sam | |
| xgqt | 2022-01-28 02:28:21 UTC | Resolution | --- | FIXED |
| Status | UNCONFIRMED | RESOLVED |
Back to bug 704928