R. Ryantm e66cf9c6c8 elan: 1.4.0 -> 1.4.1		2022-04-24 14:14:48 -04:00
..
0001-dynamically-patchelf-binaries.patch	elan: set LEAN_CC to stdenv cc	2021-12-19 17:27:10 +01:00
default.nix	elan: 1.4.0 -> 1.4.1	2022-04-24 14:14:48 -04:00