Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: a30e8db9f04315730f83f324c4079f69bbac44a5
https://github.com/NixOS/nixpkgs/commit/a30e8db9f04315730f83f324c4079f69bbac44a5
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2017-01-25 (Wed, 25 Jan 2017)
Changed paths:
R pkgs/applications/science/logic/coq/8.5.nix
R pkgs/applications/science/logic/coq/8.6.nix
A pkgs/applications/science/logic/coq/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq: merge files 8.5.nix and 8.6.nix into default.nix
Commit: 9b949be617ecd3c2f8ed9e0a7b159e96b58b025d
https://github.com/NixOS/nixpkgs/commit/9b949be617ecd3c2f8ed9e0a7b159e96b58b025d
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2017-01-25 (Wed, 25 Jan 2017)
Changed paths:
M pkgs/applications/science/logic/coq/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
coq: minor refactoring
Commit: 798a87159b00d79b0931ff65d7ce3ae7366f7574
https://github.com/NixOS/nixpkgs/commit/798a87159b00d79b0931ff65d7ce3ae7366f7574
Author: Vincent Laporte <vincent.lapo...@gmail.com>
Date: 2017-01-25 (Wed, 25 Jan 2017)
Changed paths:
M pkgs/applications/science/logic/coq/default.nix
Log Message:
-----------
Coq: propagates the findlib package
So that Coq libraries that need it can easyly use it
Commit: 635ac15845b3759244c09a922e0d41c4929f6d61
https://github.com/NixOS/nixpkgs/commit/635ac15845b3759244c09a922e0d41c4929f6d61
Author: vbgl <v...@users.noreply.github.com>
Date: 2017-01-25 (Wed, 25 Jan 2017)
Changed paths:
R pkgs/applications/science/logic/coq/8.5.nix
R pkgs/applications/science/logic/coq/8.6.nix
A pkgs/applications/science/logic/coq/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #21879 from vbgl/coq-clean
Coq: minor refactoring
Compare: https://github.com/NixOS/nixpkgs/compare/e5229c63ad77...635ac15845b3_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
