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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

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

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-12-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/2019Q4/math/z3/Ma

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

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

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

2019-12-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/2019Q4/math/z3/Ma

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

2019-11-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/2019Q4/math/z3/Ma

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

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

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

2019-11-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/2019Q4/math/z3/Ma

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

2019-11-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/2019Q4/math/z3/Ma

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

2019-11-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/2019Q4/math/z3/Ma

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

2019-11-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/2019Q4/math/z3/Ma

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

2019-11-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/2019Q4/math/z3/Ma

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

2019-11-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/2019Q4/math/z3/Ma

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

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

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

2019-11-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/2019Q4/math/z3/Ma

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

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

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

2019-11-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/2019Q4/math/z3/Ma

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

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

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

2019-11-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/2019Q4/math/z3/Ma

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

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

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-24 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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma

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

2019-10-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/2019Q4/math/z3/Ma