Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 6b8da804666f76d2d931a3ffd3f948daa14673fb
https://github.com/NixOS/nixpkgs/commit/6b8da804666f76d2d931a3ffd3f948daa14673fb
Author: Théo Zimmermann <theo.zimmerm...@univ-paris-diderot.fr>
Date: 2017-05-16 (Tue, 16 May 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coqPackages: default version 8.4pl6 -> 8.6
This fixes incomplete commit 83a50c2.
Commit: 5f04a61d4fe8fac31dfb4b1d58f599a1067017c6
https://github.com/NixOS/nixpkgs/commit/5f04a61d4fe8fac31dfb4b1d58f599a1067017c6
Author: Théo Zimmermann <theo.zimmerm...@univ-paris-diderot.fr>
Date: 2017-05-16 (Tue, 16 May 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq: default version is the one of coqPackages
This clean-up is supposed to avoid the mistake made in 83a50c2 and fixed in
6b8da80 in the future.
Commit: 37c89aaaa7948574529e05a88d42d5343d1053c9
https://github.com/NixOS/nixpkgs/commit/37c89aaaa7948574529e05a88d42d5343d1053c9
Author: Arseniy Seroka <jagaj...@users.noreply.github.com>
Date: 2017-05-22 (Mon, 22 May 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #25826 from Zimmi48/patch-1
coqPackages: default version 8.4pl6 -> 8.6
Compare: https://github.com/NixOS/nixpkgs/compare/2ddcec98856c...37c89aaaa794_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
https://mailman.science.uu.nl/mailman/listinfo/nix-commits
