[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-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: ger...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-09-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: ger...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-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: ger...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-09-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: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-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: ger...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-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: ger...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-08-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: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-08-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: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-08-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: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-08-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: ger...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5073

[package - head-armv7-default][math/z3] Failed for z3-4.8.5_1 in build

2019-08-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: ger...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 5073