ID | Product | Component | Assignee▲ | Status▲ | Resolution | Summary | Changed |
---|---|---|---|---|---|---|---|
263044 | Ports & Packages | Individual Port(s) | hrs | New | --- | math/coq: upgrade to 8.15.1 | 2022-04-10 |
263882 | Ports & Packages | Individual Port(s) | hrs | New | --- | math/coq: Segfault when opening preferences in coqide | 2022-05-09 |
217496 | Ports & Packages | Individual Port(s) | hrs | In Progress | --- | math/coq: does not package | 2018-01-16 |
File a new bug in the "Individual Port(s)" component of the "Ports & Packages" product