[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/eacac0805609

[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-03-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/64e3eb722c17

[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-02-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/e20ee3cf0f70

[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-02-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/d0f8db852755

[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-02-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/99aea2c7cc90

[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/687a1b3d4995

[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-02-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/9d6358b286b5

[package - 131i386-default][math/z3] Failed for z3-4.12.1 in build

2023-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: arr...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy15/data/131i386-default/b4e310378258