nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-28 07:43:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
4cd296cf91
nixpkgs/pkgs/applications/science/logic/elan
History
Gabriel Ebner 0661cf4882 elan: 0.10.3 -> 0.11.0 
Also adapt the patchelf patch from rustup, since Lean 4 now dynamically
links to gmp.
2021-03-26 19:16:33 +01:00
..
0001-dynamically-patchelf-binaries.patch elan: 0.10.3 -> 0.11.0 2021-03-26 19:16:33 +01:00
default.nix elan: 0.10.3 -> 0.11.0 2021-03-26 19:16:33 +01:00