| Summary: | math/coq: Segfault when opening preferences in coqide | ||
|---|---|---|---|
| Product: | Ports & Packages | Reporter: | Jakub Šebek <jamertwo> |
| Component: | Individual Port(s) | Assignee: | Hiroki Sato <hrs> |
| Status: | New --- | ||
| Severity: | Affects Only Me | Flags: | bugzilla:
maintainer-feedback?
(hrs) |
| Priority: | --- | ||
| Version: | Latest | ||
| Hardware: | Any | ||
| OS: | Any | ||
|
Description
Jakub Šebek
2022-05-09 16:26:03 UTC
|