default.nix - third_party/github.com/leanprover/lean4 - Git at Google


            
            { pkgs ? import ./nix/nixpkgs.nix, llvmPackages ? pkgs.llvmPackages_10 }:


            pkgs.callPackage ./nix/derivation.nix { inherit llvmPackages; }
	{ pkgs ? import ./nix/nixpkgs.nix, llvmPackages ? pkgs.llvmPackages_10 }:

	pkgs.callPackage ./nix/derivation.nix { inherit llvmPackages; }