JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
112,219 Commits 2 Branches 0 Tags 13 GiB
15a99ae367
Commit Graph

1 Commits

Author SHA1 Message Date
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