[Nix-commits] [NixOS/nixpkgs] 89e02c: lean: 3.1.0 -> 3.2.0

Sun, 18 Jun 2017 11:06:06 -0700 

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 89e02c7516ff301d28301926e9d7b373f29836fe
      
https://github.com/NixOS/nixpkgs/commit/89e02c7516ff301d28301926e9d7b373f29836fe
  Author: Gabriel Ebner <geb...@gebner.org>
  Date:   2017-06-18 (Sun, 18 Jun 2017)

  Changed paths:
    M pkgs/applications/science/logic/lean/default.nix

  Log Message:
  -----------
  lean: 3.1.0 -> 3.2.0



_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
https://mailman.science.uu.nl/mailman/listinfo/nix-commits

Reply via email to