[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-16 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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-09-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: arr...@freebsd.org Last committer: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: arr...@freebsd.org Last committer: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-16 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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-08-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: arr...@freebsd.org Last committer: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-07-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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-07-16 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: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-07-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma

[package - 120armv7-quarterly][math/z3] Failed for z3-4.8.5 in build

2019-07-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: arr...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/z3/Ma