Bug 263882 - math/coq: Segfault when opening preferences in coqide
Summary: math/coq: Segfault when opening preferences in coqide
Status: New
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Hiroki Sato
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2022-05-09 16:26 UTC by Jakub Šebek
Modified: 2022-05-09 16:26 UTC (History)
0 users

See Also:
bugzilla: maintainer-feedback? (hrs)

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jakub Šebek 2022-05-09 16:26:03 UTC 
Another bug that I didn't experience before the OCaml upgrade. The application freezes and segfauls when attempting to open Edit -> Preferences. Can someone reproduce this with a debug stack trace?