[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-07-12 Thread pkg-fallout-builder
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: ead...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 35996

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-07-06 Thread pkg-fallout-builder
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: ead...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 35996

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-06-28 Thread pkg-fallout-builder
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: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 33941

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-06-14 Thread pkg-fallout-builder
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: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 33941

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-06-06 Thread pkg-fallout-builder
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: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 33941

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-06-01 Thread pkg-fallout-builder
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: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 33941

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-05-23 Thread pkg-fallout-builder
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: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 33941

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-05-16 Thread pkg-fallout-builder
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: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 33941

[REL - head-amd64-default][math/coq] Failed for coq-8.4.3,1 in build

2014-03-28 Thread pkg-fallout-builder
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: joh...@freebsd.org Ident: $FreeBSD: head/math/coq/Makefile 33941