Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: befc29454b6057969ebfc3cbd338c2e55d94114f
https://github.com/NixOS/nixpkgs/commit/befc29454b6057969ebfc3cbd338c2e55d94114f
Author: Vincent Laporte <[email protected]>
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
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
