Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: ce2a9a8f9b5ef229c18abedda63739f3886625cc
https://github.com/NixOS/nixpkgs/commit/ce2a9a8f9b5ef229c18abedda63739f3886625cc
Author: Gabriel Ebner <[email protected]>
Date: 2016-12-08 (Thu, 08 Dec 2016)
Changed paths:
R pkgs/applications/science/logic/lean/default.nix
A pkgs/applications/science/logic/lean2/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
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.
Commit: a2210a9efd00cee732abbeda84e795efa5bc489b
https://github.com/NixOS/nixpkgs/commit/a2210a9efd00cee732abbeda84e795efa5bc489b
Author: Gabriel Ebner <[email protected]>
Date: 2016-12-08 (Thu, 08 Dec 2016)
Changed paths:
A pkgs/applications/science/logic/lean/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
lean: init at 2016-12-08
Compare: https://github.com/NixOS/nixpkgs/compare/65778e7c5997...a2210a9efd00_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
