From 9a8dd15a14ccecb4ca03005cc91cc681fde22f2c Mon Sep 17 00:00:00 2001
From: phantamanta44 <phanta@phanta.pl>
Date: Sun, 30 Apr 2023 17:04:37 -0500
Subject: maude: remove Full Maude from release

---
 pkgs/development/interpreters/maude/default.nix | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/pkgs/development/interpreters/maude/default.nix b/pkgs/development/interpreters/maude/default.nix
index 23c2fed00c7..af012d811ed 100644
--- a/pkgs/development/interpreters/maude/default.nix
+++ b/pkgs/development/interpreters/maude/default.nix
@@ -3,14 +3,7 @@
 }:
 
 let
-
   version = "3.3.1";
-
-  fullMaude = fetchurl {
-    url = "https://maude.cs.illinois.edu/w/images/b/bc/Full-Maude-3.2.1.zip";
-    sha256 = "0751b3c4619283b3f0adf1c3aac113f1d4334a3ca859ed00d66de5f5857563ec";
-  };
-
 in
 
 stdenv.mkDerivation {
@@ -51,8 +44,6 @@ stdenv.mkDerivation {
 
   postInstall = ''
     for n in "$out/bin/"*; do wrapProgram "$n" --suffix MAUDE_LIB ':' "$out/share/maude"; done
-    unzip ${fullMaude}
-    install -D -m 444 full-maude.maude $out/share/maude/full-maude.maude
   '';
 
   enableParallelBuilding = true;
-- 
cgit 1.4.1