[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2017-01-02 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: po...@freebsd.org Last committer: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 42859

[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2016-12-24 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: po...@freebsd.org Last committer: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 42859

[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2016-12-15 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: joh...@freebsd.org Last committer: da...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 42635

[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2016-12-07 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: joh...@freebsd.org Last committer: da...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 42635

[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2016-11-27 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: joh...@freebsd.org Last committer: da...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 42635

[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2016-11-18 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: joh...@freebsd.org Last committer: amd...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 4157

[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2016-10-26 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: joh...@freebsd.org Last committer: amd...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 4157

[package - head-armv6-default][math/coq] Failed for coq-8.4.6, 2 in build

2016-10-16 Thread pkg-fallout
You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: joh...@freebsd.org Last committer: amd...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 4157