Unverified Commit 10766f04 authored by Aleksana's avatar Aleksana Committed by GitHub
Browse files

bitwuzla: fix by using CaDiCaL 2.1.3 (#465391)

parents 5ed7f0e7 709333cd

pkgs/top-level/all-packages.nix

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