Commit bd9e20ae authored by Weijia Wang's avatar Weijia Wang
Browse files

boolector: unpin stdenv on darwin

parent e3a065c4

pkgs/top-level/all-packages.nix

+1 −3
Original line number Diff line number Diff line
@@ -38944,9 +38944,7 @@ with pkgs; 














  btor2tools = callPackage ../applications/science/logic/btor2tools { };



























  boolector = callPackage ../applications/science/logic/boolector {













    stdenv = if stdenv.cc.isClang then overrideLibcxx llvmPackages_14.stdenv else stdenv;













  };













  boolector = callPackage ../applications/science/logic/boolector { };





























  bitwuzla = callPackage ../applications/science/logic/bitwuzla { };