yices: now under GPLv3

This means Hydra can build it now! Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:06:22 -05:00 · 2017-09-02 04:06:22 -05:00 · 583ebc086c
commit 583ebc086c
parent cd7b2ec77a
1 changed files with 1 additions and 1 deletions
--- a/pkgs/applications/science/logic/yices/default.nix
+++ b/pkgs/applications/science/logic/yices/default.nix
@ -31,7 +31,7 @@ stdenv.mkDerivation rec {
  meta = with stdenv.lib; {
    description = "A high-performance theorem prover and SMT solver";
    homepage    = "http://yices.csl.sri.com";
-    license     = licenses.unfreeRedistributable;
+    license     = licenses.gpl3;
    platforms   = platforms.linux ++ platforms.darwin;
    maintainers = [ maintainers.thoughtpolice ];
  };