Commit c3da5d56 authored by Nicky Mouha's avatar Nicky Mouha Committed by github-actions[bot]
Browse files

bitwuzla: fix by using CaDiCaL 2.1.3 

bitwuzla: fix by using CaDiCaL 2.1.3
(cherry picked from commit 709333cd)
parent cb6b5f2b

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)