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.
Thank you for the report. Currently this port has multiple problems. I will fix them this weekend.
ping!