nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-17 09:34:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
d60046d367
nixpkgs/pkgs/applications/science/logic/elan
History
Mario Rodas 1a5ae14bcb elan: 2.0.1 -> 3.0.0 
Diff: https://github.com/leanprover/elan/compare/v2.0.1...v3.0.0

Changelog: https://github.com/leanprover/elan/blob/v3.0.0/CHANGELOG.md
2023-09-10 04:20:00 +00:00
..
0001-dynamically-patchelf-binaries.patch elan: overwrite llvm-ar with stdenv ar 2022-08-22 16:52:52 +02:00
default.nix elan: 2.0.1 -> 3.0.0 2023-09-10 04:20:00 +00:00