Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: dc164dc2eebf014759a6ef7cccb4febc891390d2
https://github.com/NixOS/nixpkgs/commit/dc164dc2eebf014759a6ef7cccb4febc891390d2
Author: Fabian Schmitthenner <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
A pkgs/applications/science/logic/sad/default.nix
A pkgs/applications/science/logic/sad/patch
M pkgs/top-level/all-packages.nix
Log Message:
-----------
system for automated deduction: init at 2.3-25
Commit: c6932509b881a12867b7e1897c6b69ee991e98bd
https://github.com/NixOS/nixpkgs/commit/c6932509b881a12867b7e1897c6b69ee991e98bd
Author: Arseniy Seroka <[email protected]>
Date: 2015-11-27 (Fri, 27 Nov 2015)
Changed paths:
A pkgs/applications/science/logic/sad/default.nix
A pkgs/applications/science/logic/sad/patch
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #11302 from fkz/sad
add package: system for automated deduction
Compare: https://github.com/NixOS/nixpkgs/compare/f7c2cd33479c...c6932509b881_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
