nixpkgs

[Backport release-25.11] cvc5: 1.3.1 → 1.3.2

#473829

Open