Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 3d301e384efc96be25c1191ebc4eee2ab3cc12e2
https://github.com/NixOS/nixpkgs/commit/3d301e384efc96be25c1191ebc4eee2ab3cc12e2
Author: Etienne Laurin <[email protected]>
Date: 2017-01-11 (Wed, 11 Jan 2017)
Changed paths:
M pkgs/applications/science/logic/isabelle/default.nix
Log Message:
-----------
isabelle: 2016 -> 2016-1
Commit: 89dfe67f81addb0ffacbfa14079579c24c2a4530
https://github.com/NixOS/nixpkgs/commit/89dfe67f81addb0ffacbfa14079579c24c2a4530
Author: Pascal Wittmann <[email protected]>
Date: 2017-01-13 (Fri, 13 Jan 2017)
Changed paths:
M pkgs/applications/science/logic/isabelle/default.nix
Log Message:
-----------
Merge pull request #21819 from AtnNn/isabelle
isabelle: 2016 -> 2016-1
Compare: https://github.com/NixOS/nixpkgs/compare/d760d9cccc22...89dfe67f81ad_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
