lean4-htt/default.nix
Sebastian Ullrich bffc55219e chore: switch back to clang 8
We observed some rare, random test failures since switching to clang 9, so we are going
back to LLVM 8 for the time being
2019-10-28 18:10:31 -07:00

3 lines
138 B
Nix

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