Unverified Commit 709333cd authored by Nicky Mouha's avatar Nicky Mouha Committed by GitHub
Browse files

bitwuzla: fix by using CaDiCaL 2.1.3 

bitwuzla: fix by using CaDiCaL 2.1.3
parent 5858c770

pkgs/top-level/all-packages.nix

+4 −0
Original line number Diff line number Diff line
@@ -13534,6 +13534,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)