Profiles › full › package: bitwuzla-bin