Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 54ff1184779419c91cb57d7a3a234a069fcdc592
https://github.com/NixOS/nixpkgs/commit/54ff1184779419c91cb57d7a3a234a069fcdc592
Author: Aneesh Agrawal <aneesh...@gmail.com>
Date: 2016-09-10 (Sat, 10 Sep 2016)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
cryptol: Make Z3 available for REPL users
The Cryptol REPL has a hard dependency on Z3, but the rest of the
library uses SBV to support multiple solvers. Ensure that Z3 is
available for `pkgs.cryptol`, which is likely to be installed via
nix-env for REPL usage, but do not change pkgs.haskellPackages.cryptol,
which is likely to be used as a dependency (in Nix expressions).
Commit: 3d479813f5919b6f87fac714d547cf1d1541bb8a
https://github.com/NixOS/nixpkgs/commit/3d479813f5919b6f87fac714d547cf1d1541bb8a
Author: Peter Simons <sim...@cryp.to>
Date: 2016-09-11 (Sun, 11 Sep 2016)
Changed paths:
M pkgs/top-level/all-packages.nix
Log Message:
-----------
Merge pull request #18497 from aneeshusa/add-z3-dependency-for-cryptol
cryptol: Make Z3 available for REPL users
Compare: https://github.com/NixOS/nixpkgs/compare/628c86c51a13...3d479813f591_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits
