[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-07-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-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: branches/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-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: branches/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-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: branches/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-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: branches/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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: branches/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

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

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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: branches/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-06-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-05-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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: branches/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

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

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-04-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/2020Q2/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-03-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/2020Q1/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-03-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/2020Q1/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-03-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/2020Q1/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

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

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-03-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/2020Q1/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

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

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-03-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/2020Q1/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

2020-03-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/2020Q1/math/z3/Ma

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

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

[package - 121armv7-quarterly][math/z3] Failed for z3-4.8.7 in build

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