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

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

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

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

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

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

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

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

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

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