Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 1f8912155127dd78713e7a2464fd8d0bd0ae82ef
https://github.com/NixOS/nixpkgs/commit/1f8912155127dd78713e7a2464fd8d0bd0ae82ef
Author: Will Dietz <w...@wdtz.org>
Date: 2016-10-26 (Wed, 26 Oct 2016)
Changed paths:
M pkgs/applications/science/logic/yices/default.nix
Log Message:
-----------
yices: 2.3.1 -> 2.5.1
Commit: 8584ec97edc281b69d82d86e030d3e669103f824
https://github.com/NixOS/nixpkgs/commit/8584ec97edc281b69d82d86e030d3e669103f824
Author: Will Dietz <w...@wdtz.org>
Date: 2016-10-26 (Wed, 26 Oct 2016)
Changed paths:
M pkgs/applications/science/logic/yices/default.nix
Log Message:
-----------
yices: fix install target by using 'true' as ldconfig
Commit: 3cf27a654adfe57a7e4c00f37b3f3b090d4b66e3
https://github.com/NixOS/nixpkgs/commit/3cf27a654adfe57a7e4c00f37b3f3b090d4b66e3
Author: Will Dietz <w...@wdtz.org>
Date: 2016-10-26 (Wed, 26 Oct 2016)
Changed paths:
M pkgs/applications/science/logic/yices/default.nix
Log Message:
-----------
yices: Build in parallel, run tests, fix test shebang.
Commit: 0443affe1709d29e3ae3c7b3080df096f020018e
https://github.com/NixOS/nixpkgs/commit/0443affe1709d29e3ae3c7b3080df096f020018e
Author: Will Dietz <w...@wdtz.org>
Date: 2016-10-30 (Sun, 30 Oct 2016)
Changed paths:
M pkgs/applications/science/logic/yices/default.nix
Log Message:
-----------
yices: Add darwin to meta.platforms
Commit: 7f241baaafb8a748b752436468b392b4a7f73c4c
https://github.com/NixOS/nixpkgs/commit/7f241baaafb8a748b752436468b392b4a7f73c4c
Author: vbgl <v...@users.noreply.github.com>
Date: 2016-10-31 (Mon, 31 Oct 2016)
Changed paths:
M pkgs/applications/science/logic/yices/default.nix
Log Message:
-----------
Merge pull request #19902 from dtzWill/update/yices
yices: 2.3.1 -> 2.5.1
Compare: https://github.com/NixOS/nixpkgs/compare/544aac0a1315...7f241baaafb8
_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits