[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2025-01-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pa921cfa6

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2025-01-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pf72088b8

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p6e326af2

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pb1cf7ff8

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pd594ba04

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pba772461

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pe0765bd8

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pa22ab6fd

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p545eb5d3

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p388731e7

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/peb87cb7f

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pbec5b03b

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p7df5d237

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pe57ad255

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-12-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p64cd84d7

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p0843df78

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pf0a09486

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p6df70458

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p36c7e09f

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p9c8dd303

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pdfee6156

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/pea7acb65

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p203aa108

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p380be9c7

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p56a5011a

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-11-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p009a7c19

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-10-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p35e33b5b

[package - main-i386-default][devel/cbmc] Failed for cbmc-6.3.1 in build

2024-10-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: oliv...@freebsd.org Log URL: https://pkg-status.freebsd.org/beefy17/data/main-i386-default/p332c73b0