Bug 217496

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:
Description Flags
poudriere build log none

Description Konstantin Belousov freebsd_committer freebsd_triage 2017-03-02 14:25:43 UTC 
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.
Comment 1 Hiroki Sato freebsd_committer freebsd_triage 2017-03-02 17:45:58 UTC 
Thank you for the report.  Currently this port has multiple problems.  I will fix them this weekend.
Comment 2 Walter Schwarzenfeld 2018-01-16 10:53:26 UTC 
ping!
Comment 3 Älven 2024-04-21 23:40:52 UTC 
Overcome by events?