3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic/elan
2022-04-13 20:56:11 -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.3.1 -> 1.4.0 2022-04-13 20:56:11 -04:00