Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 77869222402a0a2e926f770f3d62dd86430cd521
https://github.com/NixOS/nixpkgs/commit/77869222402a0a2e926f770f3d62dd86430cd521
Author: Jörg Thalheim <jo...@thalheim.io>
Date: 2017-05-22 (Mon, 22 May 2017)
Changed paths:
A pkgs/applications/science/logic/minisat/unstable.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
minisatUnstable: init at 2013-09-25
Commit: 893c7b611272c4ba2f8ba6b1b339dd845029cac3
https://github.com/NixOS/nixpkgs/commit/893c7b611272c4ba2f8ba6b1b339dd845029cac3
Author: Jörg Thalheim <jo...@thalheim.io>
Date: 2017-05-22 (Mon, 22 May 2017)
Changed paths:
A pkgs/applications/science/logic/cryptominisat/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
cryptominisat: init at 5.0.1
Commit: 2549be898de0eb535d6b1cd04728791b2935f23e
https://github.com/NixOS/nixpkgs/commit/2549be898de0eb535d6b1cd04728791b2935f23e
Author: Jörg Thalheim <jo...@thalheim.io>
Date: 2017-05-22 (Mon, 22 May 2017)
Changed paths:
M pkgs/applications/science/logic/stp/default.nix
R pkgs/applications/science/logic/stp/fixbuild.diff
R pkgs/applications/science/logic/stp/fixrefs.diff
Log Message:
-----------
stp: 2014.01.07 -> 2.2.0
Compare: https://github.com/NixOS/nixpkgs/compare/297506d5635a...2549be898de0_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
https://mailman.science.uu.nl/mailman/listinfo/nix-commits
