[Bug 217530] math/coq: runaway_process

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=217530

            Bug ID: 217530
           Summary: math/coq: runaway_process
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: Individual Port(s)
          Assignee: hrs at FreeBSD.org
          Reporter: freebsd at get-experience.com
             Flags: maintainer-feedback?(hrs at FreeBSD.org)
          Assignee: hrs at FreeBSD.org

coq is not compiling (for quite a while now). Full Poudriere log attached.

-- 
You are receiving this mail because:
You are the assignee for the bug.