[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-03-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-03-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-03-14 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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-03-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-03-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-03-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-02-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma

[package - head-powerpc64-default][math/cvc4] Failed for cvc4-1.6_2 in configure

2019-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: greg@unrelenting.technology Last committer: jbe...@freebsd.org Ident: $FreeBSD: head/math/cvc4/Ma