Branch: refs/heads/release-16.03
Home: https://github.com/NixOS/nixpkgs
Commit: e1570f766f8a39b29b501752dee596c7a0d80886
https://github.com/NixOS/nixpkgs/commit/e1570f766f8a39b29b501752dee596c7a0d80886
Author: Vincent Laporte <[email protected]>
Date: 2016-06-22 (Wed, 22 Jun 2016)
Changed paths:
M pkgs/applications/science/logic/coq/8.5.nix
Log Message:
-----------
coq: 8.5 -> 8.5pl1
(cherry picked from commit a036fda544d26cbaa38b6fbcf0cd2fbb14d13d0f)
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
