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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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