Branch: refs/heads/release-16.03 Home: https://github.com/NixOS/nixpkgs Commit: e1570f766f8a39b29b501752dee596c7a0d80886 https://github.com/NixOS/nixpkgs/commit/e1570f766f8a39b29b501752dee596c7a0d80886 Author: Vincent Laporte <vincent.lapo...@gmail.com> 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 nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits