Build Failure on ports-10.6_i386_legacy: coq, ocaml-camlp4

buildbot at buildbot at
Sun Jul 15 22:05:54 UTC 2018

Status:       Failure
Build slave:  ports-10.6_i386_legacy
Full logs:
Build reason: The SingleBranchScheduler scheduler named 'ports' triggered this build
Port list:    coq
Subport list:
	- coq
Variants:     None
Revision:     537167eb6473d0cb68ca5679b5939232b30deb20
Build time:   0:07:00
Author:       Perry E. Metzger <pmetzger at>

Log from failed builds:
	Building 'coq' ... [ERROR] (failed to install dependency 'ocaml-camlp4')
	> maintainers: pmetzger at,pmetzger at

Broken ports:
	- coq
	- ocaml-camlp4

Responsible maintainers:
	- pmetzger at

Links to individual build jobs:
- ports-10.6_i386_legacy-builder #45428

Best regards,
MacPorts Buildbot

More information about the macports-builds mailing list