nixpkgs
[Backport release-25.11] cvc5: 1.3.1 → 1.3.2
#473829

Open

[Backport release-25.11] cvc5: 1.3.1 → 1.3.2 #473829

nixpkgs-ci wants to merge 1 commit into release-25.11 from backport-471803-to-release-25.11

cvc5: 1.3.1 → 1.3.2

3503fa76

nixpkgs-ci added 2.status: merge-bot eligible

nixpkgs-ci requested a review from

shadaj 8 days ago

nixpkgs-ci added 10.rebuild-linux: 1-10

nixpkgs-ci added 10.rebuild-darwin: 1-10

nixpkgs-ci added 4.workflow: backport

vbgl enabled auto-merge 8 days ago

Reviewers

shadaj

Assignees

No one assigned

Labels

10.rebuild-linux: 1-10 10.rebuild-darwin: 1-10 4.workflow: backport 2.status: merge-bot eligible

Milestone

No milestone