Skip to content

boolector: drop#451484

Draft
Sigmanificient wants to merge 1 commit intoNixOS:masterfrom
Sigmanificient:boolector
Draft

boolector: drop#451484
Sigmanificient wants to merge 1 commit intoNixOS:masterfrom
Sigmanificient:boolector

Conversation

@Sigmanificient
Copy link
Member

Things done

  • Built on platform:
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin
  • Tested, as applicable:
  • Ran nixpkgs-review on this PR. See nixpkgs-review usage.
  • Tested basic functionality of all binary files, usually in ./result/bin/.
  • Nixpkgs Release Notes
    • Package update: when the change is major or breaking.
  • NixOS Release Notes
    • Module addition: when adding a new NixOS module.
    • Module update: when the change is significant.
  • Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

Add a 👍 reaction to pull requests you find important.

@Sigmanificient Sigmanificient marked this pull request as draft October 12, 2025 23:04
@mdaniels5757 mdaniels5757 added the 8.has: clean-up This PR removes packages or removes other cruft label Oct 25, 2025
@sapphire-arches sapphire-arches mentioned this pull request Oct 30, 2025
13 tasks
@nixpkgs-ci nixpkgs-ci bot added the 2.status: merge conflict This PR has merge conflicts with the target branch label Oct 30, 2025
@eljamm
Copy link
Contributor

eljamm commented Oct 31, 2025

boolector builds again with #457033. Do we still want to drop it?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

2.status: merge conflict This PR has merge conflicts with the target branch 8.has: clean-up This PR removes packages or removes other cruft

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants