Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 975d040f07eff23289e7698cb4bf02461c3fdd19
https://github.com/NixOS/nixpkgs/commit/975d040f07eff23289e7698cb4bf02461c3fdd19
Author: rht <rht...@gmail.com>
Date: 2017-03-18 (Sat, 18 Mar 2017)
Changed paths:
M pkgs/applications/science/logic/coq/HEAD.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq_HEAD: Update to the latest commit
Commit: 7264efb5cb387ada5e739ec35d4b48db1904705b
https://github.com/NixOS/nixpkgs/commit/7264efb5cb387ada5e739ec35d4b48db1904705b
Author: rht <rht...@gmail.com>
Date: 2017-03-18 (Sat, 18 Mar 2017)
Changed paths:
M pkgs/applications/science/logic/coq/HEAD.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Fold in specific ocaml version choice into let
Commit: bbd1c3d58a8652f3712348c4683c7c02738994d6
https://github.com/NixOS/nixpkgs/commit/bbd1c3d58a8652f3712348c4683c7c02738994d6
Author: rht <rht...@gmail.com>
Date: 2017-03-18 (Sat, 18 Mar 2017)
Changed paths:
M pkgs/applications/science/logic/coq/HEAD.nix
Log Message:
-----------
coq_HEAD: Update once more
Commit: ce9c7dd0d6d8997d0971d9424aeb401c0ddd7145
https://github.com/NixOS/nixpkgs/commit/ce9c7dd0d6d8997d0971d9424aeb401c0ddd7145
Author: Michael Raskin <7c6f4...@mail.ru>
Date: 2017-04-30 (Sun, 30 Apr 2017)
Changed paths:
M pkgs/applications/science/logic/coq/HEAD.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #21822 from rht/master
coq_HEAD: Update to the latest commit
Compare: https://github.com/NixOS/nixpkgs/compare/b6cffb5d582c...ce9c7dd0d6d8_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
https://mailman.science.uu.nl/mailman/listinfo/nix-commits
