FreeBSD Bugzilla – Activity log for bug 263882: math/coq: Segfault when opening preferences in coqide
Home
|
New
|
Browse
|
Search
|
[?]
|
Reports
|
New Account
|
Log In
Remember
[x]
|
Forgot Password
Login:
[x]
Back to
bug 263882
Who
When
What
Removed
Added
bugzilla
2022-05-09 16:26:03 UTC
Flags
maintainer-feedback?(hrs)
Assignee
ports-bugs
hrs
Back to
bug 263882