Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: cc647804f10aedc2a61ce344ab8bf336f55fdd27
https://github.com/NixOS/nixpkgs/commit/cc647804f10aedc2a61ce344ab8bf336f55fdd27
Author: Gabriel Ebner <geb...@gebner.org>
Date: 2017-02-26 (Sun, 26 Feb 2017)
Changed paths:
M pkgs/applications/science/logic/lean/default.nix
Log Message:
-----------
lean: 3.0.0 -> 3.1.0
_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
