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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2018-06-30 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: arr...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 4726

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

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

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

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

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

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

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

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

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

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

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

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

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

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