[Nix-commits] [NixOS/nixpkgs] e1570f: coq: 8.5 -> 8.5pl1

Wed, 22 Jun 2016 16:27:06 -0700 

  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

Reply via email to