diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix
index b1890e646542..5ef7e721a8f2 100644
--- a/pkgs/applications/science/logic/prover9/default.nix
+++ b/pkgs/applications/science/logic/prover9/default.nix
@@ -29,8 +29,8 @@ stdenv.mkDerivation {
   '';
 
   meta = {
-    homepage = "http://hol.sourceforge.net/";
-    license = "BSD";
+    homepage = "http://www.cs.unm.edu/~mccune/mace4/";
+    license = "GPL";
     description = "Prover9 is an automated theorem prover for first-order and equational logic."
 
     longDescription = ''