nixpkgs
[Backport release-25.11] cbmc: fix compilation error on darwin
#469151
Merged
Overview
Commits
1
Changes
View On GitHub

[Backport release-25.11] cbmc: fix compilation error on darwin #469151

Aleksanaa merged 1 commit into release-25.11 from backport-468965-to-release-25.11
nixpkgs-ci
jiegec cbmc: fix compilation error on darwin
49e6e97f
ofborg ofborg added 6.topic: darwin
nixpkgs-ci nixpkgs-ci requested a review from jiegec jiegec 192 days ago
nixpkgs-ci nixpkgs-ci added 10.rebuild-darwin: 1-10
nixpkgs-ci nixpkgs-ci added 10.rebuild-linux: 0
nixpkgs-ci nixpkgs-ci added 10.rebuild-darwin: 1
nixpkgs-ci nixpkgs-ci added 2.status: merge-bot eligible
nixpkgs-ci nixpkgs-ci added 4.workflow: backport
mkannwischer
jiegec
jiegec approved these changes on 2025-12-09
nixpkgs-ci nixpkgs-ci added 12.approvals: 1
nixpkgs-ci nixpkgs-ci added 12.approved-by: package-maintainer
Aleksanaa Aleksanaa merged 53ab1465 into release-25.11 192 days ago
Aleksanaa Aleksanaa deleted the backport-468965-to-release-25.11 branch 192 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
6.topic: darwin 10.rebuild-darwin: 1-10 10.rebuild-linux: 0 10.rebuild-darwin: 1 12.approvals: 1 12.approved-by: package-maintainer 4.workflow: backport 2.status: merge-bot eligible
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum