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

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

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

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

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

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

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

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

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

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

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

2018-12-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: tcber...@freebsd.org Ident: $FreeBSD: head/math/lean/Makefile 488

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

2018-08-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 475334

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

2018-08-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 475334

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

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

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

2018-08-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 475334

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

2018-07-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 475152