Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: c111b0cd4d3d9b419e63623364132f2e6e55db44
https://github.com/NixOS/nixpkgs/commit/c111b0cd4d3d9b419e63623364132f2e6e55db44
Author: Russell O'Connor <[email protected]>
Date: 2015-11-19 (Thu, 19 Nov 2015)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
coq: 8.5b2 -> 8.5b3
Commit: 811e1b01e5d7f43736469fe9ebf9048849c6b88b
https://github.com/NixOS/nixpkgs/commit/811e1b01e5d7f43736469fe9ebf9048849c6b88b
Author: roconnor <[email protected]>
Date: 2015-11-19 (Thu, 19 Nov 2015)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
Merge pull request #11140 from roconnor/master
coq: 8.5b2 -> 8.5b3
Compare: https://github.com/NixOS/nixpkgs/compare/910e7a75eced...811e1b01e5d7_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
