Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: 855c4881157073aa5b81a749caa18f0ab2a64e2d
https://github.com/NixOS/nixpkgs/commit/855c4881157073aa5b81a749caa18f0ab2a64e2d
Author: Théo Zimmermann <[email protected]>
Date: 2017-03-05 (Sun, 05 Mar 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq_8_4: ocaml dependency 4.01 -> 4.02
Commit: 7d1f0c2f69ae9a83116456b651b255881bb48130
https://github.com/NixOS/nixpkgs/commit/7d1f0c2f69ae9a83116456b651b255881bb48130
Author: Théo Zimmermann <[email protected]>
Date: 2017-03-05 (Sun, 05 Mar 2017)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq: default version 8.4pl6 -> 8.6
Compare: https://github.com/NixOS/nixpkgs/compare/77777e6d450d...7d1f0c2f69ae_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
