Bug 217530 - math/coq: runaway_process
Summary: math/coq: runaway_process
Status: Closed DUPLICATE of bug 216040
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Hiroki Sato
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2017-03-04 10:28 UTC by freebsd
Modified: 2018-03-14 08:06 UTC (History)
1 user (show)

See Also:
bugzilla: maintainer-feedback? (hrs)

Attachments
Poudriere log (47.20 KB, application/gzip)
2017-03-04 10:32 UTC, freebsd 		no flags Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description freebsd 2017-03-04 10:28:11 UTC 
coq is not compiling (for quite a while now). Full Poudriere log attached.
Comment 1 freebsd 2017-03-04 10:32:24 UTC 
Created attachment 180487 [details]
Poudriere log

Sorry, file was too big. Uploaded the compressed version now.
Comment 2 Tobias Kortkamp freebsd_committer freebsd_triage 2018-03-14 08:06:29 UTC 

*** This bug has been marked as a duplicate of bug 216040 ***