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