From c29182bbb1c8f5e8bd9f9f181cf243102d70495a Mon Sep 17 00:00:00 2001
From: nicoo <nicoo@mur.at>
Date: Sun, 5 Nov 2023 17:13:30 +0000
Subject: [PATCH] open-english-wordnet: Use unique filename under `share/`

Otherwise users may have issues trying to bring multiple wordnets in their environment.
---
 pkgs/by-name/op/open-english-wordnet/package.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/by-name/op/open-english-wordnet/package.nix b/pkgs/by-name/op/open-english-wordnet/package.nix
index bcc3e33a57c7..ccd661753c05 100644
--- a/pkgs/by-name/op/open-english-wordnet/package.nix
+++ b/pkgs/by-name/op/open-english-wordnet/package.nix
@@ -42,14 +42,14 @@ stdenvNoCC.mkDerivation (self: {
     python scripts/merge.py
 
     echo Compressing
-    gzip --best --no-name ./wn.xml
+    gzip --best --no-name --stdout ./wn.xml > 'oewn:${self.version}.xml.gz'
 
     runHook postBuild
   '';
 
   installPhase = ''
     runHook preInstall
-    install -Dt $out/share/wordnet wn.xml.gz
+    install -Dt $out/share/wordnet 'oewn:${self.version}.xml.gz'
     runHook postInstall
   '';