[package - head-armv6-default][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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

[package - head-armv6-default][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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

[package - head-armv6-default][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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

[package - head-armv6-default][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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

[package - head-armv6-default][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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

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

2020-04-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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

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

2020-04-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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

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

2020-04-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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

[package - head-armv6-default][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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

[package - head-armv6-default][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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

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

2020-04-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: pku...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5316

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

2020-04-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 5182

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

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

[package - head-armv6-default][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: head/math/z3/Makefile 5182

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

2020-04-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 5182

[package - head-armv6-default][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: head/math/z3/Makefile 5182

[package - head-armv6-default][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: head/math/z3/Makefile 5182

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

2020-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: arr...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5182

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

2020-03-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 5182

[package - head-armv6-default][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: head/math/z3/Makefile 5182

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

2020-03-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 5182

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

2020-03-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 5182

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

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

[package - head-armv6-default][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: head/math/z3/Makefile 5182

[package - head-armv6-default][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: head/math/z3/Makefile 5182

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

2020-02-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 5182

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

2020-02-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 5182

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

2020-02-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 5182

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

2020-02-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 5182

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

2020-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: arr...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5182

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

2020-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: arr...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5182

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

2020-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: arr...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5182

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

2020-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: arr...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5182

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

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

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

2020-01-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 5182

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

2020-01-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 5182

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

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

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

2020-01-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 5182

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

2020-01-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 5182

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

2020-01-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 5182

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

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

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

2020-01-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 5182

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

2019-12-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 5182

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

2019-12-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 5182

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

2019-12-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 5182

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

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

2019-12-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 5182

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

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

2019-12-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 5182

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

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

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

2019-11-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 5182