[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-09-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: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-09-23 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: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build/runaway

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: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/M

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-09-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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build/runaway

2019-09-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: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/M

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-09-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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-09-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: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-08-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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-08-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: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-08-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: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-07-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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-07-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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma

[package - 112armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-07-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: y...@freebsd.org Last committer: lini...@freebsd.org Ident: $FreeBSD: branches/2019Q3/math/lean/Ma