cadical: 2.1.2 -> 2.1.3

[r-ryantm]

Automatic update generated by nixpkgs-update tools. This update was made based on information from https://repology.org/project/cadical/versions.

meta.description for cadical is: Simplified Satisfiability Solver

meta.homepage for cadical is: https://fmv.jku.at/cadical/

Updates performed

• Version update

To inspect upstream changes

• Release on GitHub

• Compare changes on GitHub

Impact

Checks done

---

• built on NixOS
• The tests defined in passthru.tests, if any, passed
• found 2.1.3 with grep in /nix/store/744jmn0h9b0zc51mf197rg21l8hkz14v-cadical-2.1.3
• found 2.1.3 in filename of file in /nix/store/744jmn0h9b0zc51mf197rg21l8hkz14v-cadical-2.1.3

---

Rebuild report (if merged into master) (click to expand)

4 total rebuild path(s)

4 package rebuild(s)

First fifty rebuilds by attrpath

bitwuzla
cadical
lean4

Instructions to test this update (click to expand)

---

Either download from the cache:

nix-store -r /nix/store/744jmn0h9b0zc51mf197rg21l8hkz14v-cadical-2.1.3 \
  --option binary-caches 'https://cache.nixos.org/ https://nixpkgs-update-cache.nix-community.org/' \
  --option trusted-public-keys '
  nixpkgs-update-cache.nix-community.org-1:U8d6wiQecHUPJFSqHN9GSSmNkmdiFW7GW7WNAnHW0SM=
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  '

(The nixpkgs-update cache is only trusted for this store-path realization.)
For the cached download to work, your user must be in the trusted-users list or you can use sudo since root is effectively trusted.

Or, build yourself:

nix-build -A cadical https://github.com/r-ryantm/nixpkgs/archive/2d028149d9fd13a53cf556fcf9f48868ef249011.tar.gz

Or:

nix build github:r-ryantm/nixpkgs/2d028149d9fd13a53cf556fcf9f48868ef249011#cadical

After you've downloaded or built it, look at the files and if there are any, run the binaries:

ls -la /nix/store/744jmn0h9b0zc51mf197rg21l8hkz14v-cadical-2.1.3
ls -la /nix/store/744jmn0h9b0zc51mf197rg21l8hkz14v-cadical-2.1.3/bin

---

Pre-merge build results

We have automatically built all packages that will get rebuilt due to
this change.

This gives evidence on whether the upgrade will break dependent packages.
Note sometimes packages show up as failed to build independent of the
change, simply because they are already broken on the target branch.

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review

---

x86_64-linux

✅ 5 packages built:

• bitwuzla
• cadical
• cadical.dev
• cadical.lib
• lean4

---

Maintainer pings

cc @shnarazk for testing.

Tip

As a maintainer, if your package is located under pkgs/by-name/*, you can comment @NixOS/nixpkgs-merge-bot merge to automatically merge this update using the nixpkgs-merge-bot.

---

Add a 👍 reaction to pull requests you find important.