Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 7462d96a65222decdd5ff3e7d288f4163f1ffd81
https://github.com/NixOS/nixpkgs/commit/7462d96a65222decdd5ff3e7d288f4163f1ffd81
Author: Vincent Laporte <[email protected]>
Date: 2016-01-04 (Mon, 04 Jan 2016)
Changed paths:
M pkgs/development/coq-modules/mathcomp/generic.nix
M pkgs/development/coq-modules/ssreflect/generic.nix
Log Message:
-----------
ssreflect, mathcomp: fix build
Commit: 3553258b1d5dea20325da3c36293fcba81b09b8e
https://github.com/NixOS/nixpkgs/commit/3553258b1d5dea20325da3c36293fcba81b09b8e
Author: Vincent Laporte <[email protected]>
Date: 2016-01-04 (Mon, 04 Jan 2016)
Changed paths:
M pkgs/development/coq-modules/flocq/default.nix
Log Message:
-----------
Revert "coqPackages.flocq: 2.4.0 -> 2.5.0"
This reverts commit db9bc6875f3ad5e7bddcbeab7124bd5b8fc684c6.
That reverted commit had introduced a wrong URL.
Commit: 2027caa8758eba117cf38f5ec6892bb93e68ddfa
https://github.com/NixOS/nixpkgs/commit/2027caa8758eba117cf38f5ec6892bb93e68ddfa
Author: Vincent Laporte <[email protected]>
Date: 2016-01-04 (Mon, 04 Jan 2016)
Changed paths:
M pkgs/development/coq-modules/flocq/default.nix
Log Message:
-----------
coq-flocq: 2.5.0 -> 2.5.1
Compare: https://github.com/NixOS/nixpkgs/compare/222f4b9e2b89...2027caa8758e_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
