Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 9eec46189078e49708fdea6c74706bb9b68fa8fd
https://github.com/NixOS/nixpkgs/commit/9eec46189078e49708fdea6c74706bb9b68fa8fd
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: 12a00b51b3b6feb34f19dc68a8df2560370d36d8
https://github.com/NixOS/nixpkgs/commit/12a00b51b3b6feb34f19dc68a8df2560370d36d8
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/316e7d67646d...12a00b51b3b6_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
