[Nix-commits] [NixOS/nixpkgs] 7d75dd: coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4, 5}

[Vincent Laporte]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 7d75dd71dc2ec829bc16a5ea074df0afa4bffc02
      
https://github.com/NixOS/nixpkgs/commit/7d75dd71dc2ec829bc16a5ea074df0afa4bffc02
  Author: Vincent Laporte <vincent.lapo...@gmail.com>
  Date:   2017-01-14 (Sat, 14 Jan 2017)

  Changed paths:
    M pkgs/development/coq-modules/coq-ext-lib/default.nix

  Log Message:
  -----------
  coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}



_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits