From bd32c8f88d4dbdd147dcecec8cdcabbfb887ffee Mon Sep 17 00:00:00 2001
From: Adrian Pistol <vifino@posteo.net>
Date: Sat, 9 Dec 2023 00:43:30 +0100
Subject: [PATCH] regina: 3.9.1 -> 3.9.5; move to by-name

---
 .../default.nix => by-name/re/regina/package.nix}  | 14 +++++++++-----
 pkgs/top-level/all-packages.nix                    |  2 --
 2 files changed, 9 insertions(+), 7 deletions(-)
 rename pkgs/{development/interpreters/regina/default.nix => by-name/re/regina/package.nix} (66%)

diff --git a/pkgs/development/interpreters/regina/default.nix b/pkgs/by-name/re/regina/package.nix
similarity index 66%
rename from pkgs/development/interpreters/regina/default.nix
rename to pkgs/by-name/re/regina/package.nix
index 79258d2cc0fa..7480ade5413c 100644
--- a/pkgs/development/interpreters/regina/default.nix
+++ b/pkgs/by-name/re/regina/package.nix
@@ -1,12 +1,16 @@
-{ lib, stdenv, fetchurl, ncurses }:
+{ lib
+, stdenv
+, fetchurl
+, ncurses
+}:
 
 stdenv.mkDerivation rec {
-  pname = "Regina-REXX";
-  version = "3.9.1";
+  pname = "regina-rexx";
+  version = "3.9.5";
 
   src = fetchurl {
     url = "mirror://sourceforge/regina-rexx/regina-rexx/${version}/${pname}-${version}.tar.gz";
-    sha256 = "1vpksnjmg6y5zag9li6sxqxj2xapgalfz8krfxgg49vyk0kdy4sx";
+    hash = "sha256-COmpBhvuADjPtFRG3iB2b/2uUO6jf2ZCRG7E5zoqvFE=";
   };
 
   buildInputs = [ ncurses ];
@@ -18,7 +22,7 @@ stdenv.mkDerivation rec {
   meta = with lib; {
     description = "REXX interpreter";
     maintainers = [ maintainers.raskin ];
-    platforms = platforms.linux;
+    platforms = platforms.unix;
     license = licenses.lgpl2;
   };
 }
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index a93e1c3f78df..637fd2a389db 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -17984,8 +17984,6 @@ with pkgs;
 
   regextester = callPackage ../applications/misc/regextester { };
 
-  regina = callPackage ../development/interpreters/regina { };
-
   inherit (ocamlPackages) reason;
 
   buildRubyGem = callPackage ../development/ruby-modules/gem {