Unverified Commit ae9f8be0 authored by Guillaume Girol's avatar Guillaume Girol Committed by GitHub
Browse files

[Backport release-25.11] bitwuzla: fix by using CaDiCaL 2.1.3 (#466024)

parents 29fac118 c3da5d56

pkgs/top-level/all-packages.nix

+4 −0
Original line number Diff line number Diff line
@@ -13545,6 +13545,10 @@ with pkgs; 
    ocamlPackages = ocaml-ng.ocamlPackages_4_12;

  };



  bitwuzla = callPackage ../by-name/bi/bitwuzla/package.nix {

    cadical = cadical.override { version = "2.1.3"; };

  };



  inherit

    (callPackage ./rocq-packages.nix {

      inherit (ocaml-ng)