[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: ema...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 4800

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: ema...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 4800

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-06 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-09-01 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-28 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-21 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-13 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-11 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-06 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-08-01 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-07-31 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-07-28 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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-07-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278

[package - head-mips64-default][math/z3] Failed for z3-4.7.1_1 in build

2018-07-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: arr...@freebsd.org Last committer: y...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 475278