[Bug 217496] math/coq: does not package

[bugzilla-noreply at freebsd.org]

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

            Bug ID: 217496
           Summary: math/coq: does not package
           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: kib at FreeBSD.org
          Assignee: hrs at FreeBSD.org
             Flags: maintainer-feedback?(hrs at FreeBSD.org)

Created attachment 180438
  --> https://bugs.freebsd.org/bugzilla/attachment.cgi?id=180438&action=edit
poudriere build log

I tried to install math/coq with non-default options and it does not package. 
I turned on DOC and disabled IDE.  poudriere log is attached.

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