From 403938b0043b56a019283a2ef1c4c668783744be Mon Sep 17 00:00:00 2001
From: Peter Simons <simons@cryp.to>
Date: Thu, 26 Aug 2010 11:42:41 +0000
Subject: [PATCH] pkgs/applications/science/logic/prover9: updated homepage and
 license

svn path=/nixpkgs/trunk/; revision=23447
---
 pkgs/applications/science/logic/prover9/default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 = ''