[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-23 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-19 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-17 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-12 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-10 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-08 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-05 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-02-03 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-29 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-25 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-22 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-20 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-17 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-12 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-08 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi

[package - 110armv6-quarterly][math/coq] Failed for coq-8.6, 3 in build/runaway

2017-01-05 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: h...@freebsd.org Last committer: h...@freebsd.org Ident: $FreeBSD: branches/2017Q1/math/coq/Makefi