[Nix-commits] [NixOS/nixpkgs] befc29: coqPackages.dpdgraph: 0.5 -> 0.6{, .1}

[Vincent Laporte]

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

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

  Log Message:
  -----------
  coqPackages.dpdgraph: 0.5 -> 0.6{,.1}



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