[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2020-02-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2020-02-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2020-01-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2019-12-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2019-12-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2019-11-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

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

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2019-11-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2019-10-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2019-10-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

2019-10-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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

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

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

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

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

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

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_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: y...@freebsd.org Last committer: ger...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 5073

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

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

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

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

[package - head-powerpc64-default][math/lean] Failed for lean-3.4.2_1 in build

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