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

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

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

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

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

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

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

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

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

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

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

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

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

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

[package - 120armv6-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 - 120armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

2019-08-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 - 120armv6-quarterly][math/lean] Failed for lean-3.4.2 in build

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

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

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

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

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

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

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

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

2019-06-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/2019Q2/math/lean/Ma

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

2019-06-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/2019Q2/math/lean/Ma

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

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

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

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

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

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

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

2019-05-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/2019Q2/math/lean/M

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

2019-05-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/2019Q2/math/lean/Ma

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

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

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

2019-04-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/2019Q2/math/lean/Ma

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

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

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

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

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

2019-04-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/2019Q2/math/lean/Ma

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

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