Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 9a167a35ff87606f18580780d6b6e2ce3ddd3fcc
https://github.com/NixOS/nixpkgs/commit/9a167a35ff87606f18580780d6b6e2ce3ddd3fcc
Author: John Wiegley <[email protected]>
Date: 2016-12-22 (Thu, 22 Dec 2016)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq_8_6: Use ocamlPackages, rather than a specific version
Commit: 3876b4dd94f1803652a4a76592ad519b4da4ddd8
https://github.com/NixOS/nixpkgs/commit/3876b4dd94f1803652a4a76592ad519b4da4ddd8
Author: John Wiegley <[email protected]>
Date: 2016-12-22 (Thu, 22 Dec 2016)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq, coqPackages: Roll default back to 8.4, until ssreflect is building
Compare: https://github.com/NixOS/nixpkgs/compare/94fbbb2ed648...3876b4dd94f1_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
