Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: d7cfdc581ca6e6e1bd671d5e2da04e4db6257ca5
https://github.com/NixOS/nixpkgs/commit/d7cfdc581ca6e6e1bd671d5e2da04e4db6257ca5
Author: vbgl <[email protected]>
Date: 2016-07-18 (Mon, 18 Jul 2016)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
coq: 8.5pl1 -> 8.5pl2 (#16863)
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
