Skip to content

boolector: 3.2.3 -> 3.2.4#457033

Merged
dotlambda merged 1 commit intoNixOS:masterfrom
eljamm:update/boolector
Nov 3, 2025
Merged

boolector: 3.2.3 -> 3.2.4#457033
dotlambda merged 1 commit intoNixOS:masterfrom
eljamm:update/boolector

Conversation

@eljamm
Copy link
Contributor

@eljamm eljamm commented Oct 30, 2025 •
edited
Loading

Related to #445447

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.

@nixpkgs-ci nixpkgs-ci bot added 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux. 10.rebuild-darwin: 11-100 This PR causes between 11 and 100 packages to rebuild on Darwin. labels Oct 30, 2025
@nix-owners nix-owners bot requested a review from thoughtpolice October 30, 2025 16:24
@eljamm
Copy link
Contributor Author

eljamm commented Oct 30, 2025

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 457033
Commit: 528d37da517c4c787199145115eee9d3beeb0a54 (subsequent changes)
Merge: ab725e46745db0e599531a72935300f31d345b69

Logs: https://github.com/eljamm/nixpkgs-review-gha/actions/runs/18947808711

x86_64-linux

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

aarch64-linux

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

x86_64-darwin (sandbox = true)

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

aarch64-darwin (sandbox = true)

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

@eljamm eljamm mentioned this pull request Oct 31, 2025
Draft
13 tasks
dotlambda
dotlambda reviewed Nov 3, 2025
View reviewed changes
@dotlambda dotlambda mentioned this pull request Nov 3, 2025
Open
dotlambda
dotlambda requested changes Nov 3, 2025
View reviewed changes
Copy link
Member

@dotlambda dotlambda left a comment •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Using

postPatch = ''
  substituteInPlace CMakeLists.txt \
    --replace-fail "cmake_minimum_required(VERSION 3.3)" "cmake_minimum_required(VERSION 3.10)"
'';

is preferred according to #445447.

dotlambda
dotlambda reviewed Nov 3, 2025
View reviewed changes
@eljamm
Copy link
Contributor Author

eljamm commented Nov 3, 2025

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 457033
Commit: 96f4c2849000af239c244e9bc58700bb26cb1da5 (subsequent changes)
Merge: 43b3f1068b4b1f7b7274323b917bbb65399798d3

Logs: https://github.com/eljamm/nixpkgs-review-gha/actions/runs/19025243188

x86_64-linux

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

aarch64-linux

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

x86_64-darwin (sandbox = true)

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

aarch64-darwin (sandbox = true)

✅ 28 packages built:
  • boolector
  • cynthion (python313Packages.cynthion)
  • cynthion.dist (python313Packages.cynthion.dist)
  • glasgow
  • glasgow.dist
  • python312Packages.amaranth
  • python312Packages.amaranth-boards
  • python312Packages.amaranth-boards.dist
  • python312Packages.amaranth-soc
  • python312Packages.amaranth-soc.dist
  • python312Packages.amaranth.dist
  • python312Packages.cynthion
  • python312Packages.cynthion.dist
  • python312Packages.luna-soc
  • python312Packages.luna-soc.dist
  • python312Packages.luna-usb
  • python312Packages.luna-usb.dist
  • python313Packages.amaranth
  • python313Packages.amaranth-boards
  • python313Packages.amaranth-boards.dist
  • python313Packages.amaranth-soc
  • python313Packages.amaranth-soc.dist
  • python313Packages.amaranth.dist
  • python313Packages.luna-soc
  • python313Packages.luna-soc.dist
  • python313Packages.luna-usb
  • python313Packages.luna-usb.dist
  • sby

@eljamm eljamm requested a review from dotlambda November 3, 2025 06:35
@dotlambda dotlambda added this pull request to the merge queue Nov 3, 2025
Merged via the queue into NixOS:master with commit a84b0a7 Nov 3, 2025
29 of 31 checks passed
@eljamm eljamm deleted the update/boolector branch November 3, 2025 07:05
@carlossless carlossless mentioned this pull request Nov 3, 2025
Closed
13 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@dotlambda dotlambda dotlambda approved these changes

@thoughtpolice thoughtpolice Awaiting requested review from thoughtpolice

Assignees

No one assigned

Labels

10.rebuild-darwin: 11-100 This PR causes between 11 and 100 packages to rebuild on Darwin. 10.rebuild-linux: 11-100 This PR causes between 11 and 100 packages to rebuild on Linux.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@eljamm @dotlambda