Tue Mar 19 2024 05:59:24 UTC
Hide Search Description
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
3 bugs found.

as

File a new bug in the "Individual Port(s)" component of the "Ports & Packages" product