[package - head-armv7-default][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: head/math/lean/Makefile 4954

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

2019-07-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: head/math/lean/Makefile 4954

[package - head-armv7-default][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: head/math/lean/Makefile 4954

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

2019-07-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: head/math/lean/Makefile 4954

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

2019-07-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: head/math/lean/Makefile 4954

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

2019-06-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: head/math/lean/Makefile 4954

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

2019-06-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: head/math/lean/Makefile 4954

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

2019-06-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: head/math/lean/Makefile 4954

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

2019-06-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: lini...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 4954

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

2019-06-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: head/math/lean/Makefile 4954

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

2019-06-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: head/math/lean/Makefile 4954

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

2019-05-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: head/math/lean/Makefile 4954

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

2019-05-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: lini...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 4954

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

2019-05-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: head/math/lean/Makefile 4954

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

2019-05-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: head/math/lean/Makefile 4954

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

2019-05-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: head/math/lean/Makefile 4954

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

2019-04-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: head/math/lean/Makefile 4954

[package - head-armv7-default][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: head/math/lean/Makefile 4954

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

2019-04-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: head/math/lean/Makefile 4954

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

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

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

2019-04-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: head/math/lean/Makefile 4954

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

2019-03-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: head/math/lean/Makefile 4954

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

2019-03-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: lini...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 4954

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

2019-03-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: head/math/lean/Makefile 4954

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

2019-03-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: lini...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 4954

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

2019-03-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: y...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 491029

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

2019-03-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: y...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 491029

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

2019-03-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: y...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 491029

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

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

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

2019-02-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: y...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 491029

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

2019-02-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: y...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 491029

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

2019-02-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: y...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 491029

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

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

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

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

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

2019-01-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: y...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 491029