[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-11-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-11-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-10-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-10-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-10-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327746

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-09-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 327411

[REL - head-amd64-default][math/cvc3] Failed for cvc3-2.4.1 in build

2013-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: lw...@freebsd.org Last committer: b...@freebsd.org Ident: $FreeBSD: head/math/cvc3/Makefile 313635