From b1c5442ceb21c81a2e4b1cdd77eea19c92c3efe3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sandro=20J=C3=A4ckel?= <sandro.jaeckel@gmail.com>
Date: Tue, 9 Nov 2021 20:26:04 +0100
Subject: [PATCH] fixup! prover9: convert patchPhase to postPatch, cleanup meta

---
 pkgs/applications/science/logic/prover9/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/prover9/default.nix b/pkgs/applications/science/logic/prover9/default.nix
index 677c11d3749e..aa01469bfbb8 100644
--- a/pkgs/applications/science/logic/prover9/default.nix
+++ b/pkgs/applications/science/logic/prover9/default.nix
@@ -33,7 +33,7 @@ stdenv.mkDerivation {
 
   meta = with lib; {
     homepage = "https://www.cs.unm.edu/~mccune/mace4/";
-    license = license.gpl;
+    license = licenses.gpl1;
     description = "Automated theorem prover for first-order and equational logic";
     longDescription = ''
       Prover9 is a resolution/paramodulation automated theorem prover