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

2019-05-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_4 in configure

2019-05-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

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

2019-05-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_4 in configure

2019-05-04 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_4 in configure

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