https://lists.debian.org/debian-ocaml-maint/2008/09/msg00024.html
Processed: setting package to coq-libs coqide coq, tagging 436684
processedsettingpackagecoqlibs
https://lists.debian.org/debian-ocaml-maint/2004/09/msg00042.html
Bug#269927: coqide segfaults on startup
bugstartup
https://lists.debian.org/debian-ocaml-maint/2004/09/msg00045.html
Bug#269927: coqide segfaults on startup
bugstartup
https://lists.debian.org/debian-ocaml-maint/2004/09/msg00056.html
Bug#269927: coqide segfaults on startup
bugstartup
https://lists.freebsd.org/archives/freebsd-ports-bugs/2025-November/085650.html
[Bug 263882] math/coq: Segfault when opening preferences in coqide
bugmathcoqsegfaultopening
https://lists.debian.org/debian-ocaml-maint/2004/09/msg00043.html
Bug#269927: coqide segfaults on startup
bugstartup