nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-23 12:34:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
2062c9355a
nixpkgs/pkgs/applications/science/logic/lean2
History
Gabriel Ebner ce2a9a8f9b lean2: 2016-07-05 -> 2016-11-29 
Renamed from lean since upstream renamed it as well.  The lean attribute
in nixpkgs will now refer to the new lean 3 version.
2016-12-08 10:30:28 -05:00
..
default.nix lean2: 2016-07-05 -> 2016-11-29 2016-12-08 10:30:28 -05:00