Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/process
/
.
/
default.nix
blob: c0e151a7ca6ba03924528ff29f5b1083e1cee436 [
file
] [
edit
]
{
pkgs
?
import
./
nix
/
nixpkgs
.
nix
,
llvmPackages
?
pkgs
.
llvmPackages_latest
}:
pkgs
.
callPackage
./
nix
/
derivation
.
nix
{
inherit llvmPackages
;
}