[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-12-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-12-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-11-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-11-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-11-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-11-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-11-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-11-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-11-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-10-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-08-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-08-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-07-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: swi...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 41374

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-04-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: 6year...@gmail.com Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 412348

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-04-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2016-01-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2015-12-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2015-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618

[package - head-mips64-default][math/z3] Failed for z3-4.4.0 in build

2015-11-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: 6year...@gmail.com Last committer: f...@freebsd.org Ident: $FreeBSD: head/math/z3/Makefile 397618