nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-27 23:33:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
fb089e2b74
nixpkgs/pkgs/applications/science/logic/lean
History
Junyoung Clare Jang b71c03e483
lean: 3.4.2 -> 3.5.1 
3.4.2 is not compilable with GCC >= 9.1
2020-02-15 02:29:12 -05:00
..
default.nix lean: 3.4.2 -> 3.5.1 2020-02-15 02:29:12 -05:00