bitwuzla: move override into package.nix#485692

MattSturgeon merged 1 commit intoNixOS:masterNixOS/nixpkgs:masterfrom

qweered:bitwuzla-move-overridesqweered/nixpkgs:bitwuzla-move-overridesCopy head branch name to clipboard