[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-10-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-10-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-10-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-10-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-10-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-09-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-09-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-09-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-09-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-09-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-09-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-09-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-08-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-08-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-08-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-08-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-08-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-08-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-08-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-07-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-07-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-07-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-07-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-07-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-07-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-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 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-06-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-06-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-06-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-06-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-05-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-05-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: head/math/z3/Makefile 5350

[package - head-armv6-default][math/z3] Failed for z3-4.8.8 in build

2020-05-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 5350