Sebastian Ullrich b20024dd3a elan: set LEAN_CC to stdenv cc ... This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`		2021-12-19 17:27:10 +01:00
..
0001-dynamically-patchelf-binaries.patch	elan: set LEAN_CC to stdenv cc	2021-12-19 17:27:10 +01:00
default.nix	elan: set LEAN_CC to stdenv cc	2021-12-19 17:27:10 +01:00