Build Failure on ports-10.6_x86_64_legacy: coq
buildbot at macports.org
buildbot at macports.org
Mon Oct 1 15:15:55 UTC 2018
Status: Failure
Build slave: ports-10.6_x86_64_legacy
Full logs: https://build.macports.org/builders/ports-10.6_x86_64_legacy-watcher/builds/18408
Build reason: The SingleBranchScheduler scheduler named 'ports' triggered this build
Port list: coq
Subport list:
- coq
Variants: None
Revision: 9e441dcc49dbec6c821618cc35f539ad87f506ba
Build time: 0:06:44
Author: Perry E. Metzger <perry at piermont.com>
Log from failed builds:
Building 'coq' ... [ERROR]
> maintainers: pmetzger at macports.org.
Broken ports:
- coq
Responsible maintainers:
- pmetzger at macports.org
Links to individual build jobs:
- ports-10.6_x86_64_legacy-builder #77790
https://build.macports.org/builders/ports-10.6_x86_64_legacy-builder/builds/77790
--
Best regards,
MacPorts Buildbot
https://build.macports.org/
More information about the macports-builds
mailing list