Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 75ab87edc8128e03143d12ee037e8a4a09fd0e39
https://github.com/NixOS/nixpkgs/commit/75ab87edc8128e03143d12ee037e8a4a09fd0e39
Author: Austin Seipp <[email protected]>
Date: 2015-03-28 (Sat, 28 Mar 2015)
Changed paths:
M pkgs/applications/science/logic/z3/default.nix
Log Message:
-----------
nixpkgs: z3 is now MIT licensed.
It's also been moved to GitHub, meaning we can avoid some of the
hackiness in the original expression. This updates the Git revision, but
only so that it contains the proper license (it's otherwise equivalent
to Z3 v4.3.2)
Also, make sure the python API .py files exist besides the .pyc files.
Signed-off-by: Austin Seipp <[email protected]>
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
