Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 4b9c90c64e7e41fa965fc98e42e984e9e7506a4b
https://github.com/NixOS/nixpkgs/commit/4b9c90c64e7e41fa965fc98e42e984e9e7506a4b
Author: Vincent Laporte <[email protected]>
Date: 2015-04-15 (Wed, 15 Apr 2015)
Changed paths:
M pkgs/applications/science/logic/coq/default.nix
Log Message:
-----------
coq: update from 8.4pl5 to 8.4pl6
Commit: 87e6b3b862425841b2531aa460ca65637125703b
https://github.com/NixOS/nixpkgs/commit/87e6b3b862425841b2531aa460ca65637125703b
Author: Pascal Wittmann <[email protected]>
Date: 2015-04-16 (Thu, 16 Apr 2015)
Changed paths:
M pkgs/applications/science/logic/coq/default.nix
Log Message:
-----------
Merge pull request #7390 from vbgl/coq-84pl6
coq: update from 8.4pl5 to 8.4pl6
Compare: https://github.com/NixOS/nixpkgs/compare/4c1afe5ccee7...87e6b3b86242_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
