Summary: | math/coq: does not package | ||||||
---|---|---|---|---|---|---|---|
Product: | Ports & Packages | Reporter: | Konstantin Belousov <kib> | ||||
Component: | Individual Port(s) | Assignee: | Hiroki Sato <hrs> | ||||
Status: | In Progress --- | ||||||
Severity: | Affects Only Me | CC: | w.schwarzenfeld | ||||
Priority: | --- | Flags: | bugzilla:
maintainer-feedback?
(hrs) |
||||
Version: | Latest | ||||||
Hardware: | Any | ||||||
OS: | Any | ||||||
Attachments: |
|
Thank you for the report. Currently this port has multiple problems. I will fix them this weekend. ping! |
Created attachment 180438 [details] 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.