From adfadd13f8786bb69b95543f59d88e90faf85594 Mon Sep 17 00:00:00 2001 From: quantenzitrone Date: Sun, 8 Feb 2026 20:57:33 +0100 Subject: [PATCH] nuxmv: fix homepage and rename from nuXmv rename to lowercase to fit package naming conventions --- pkgs/by-name/nu/{nuXmv => nuxmv}/package.nix | 4 ++-- pkgs/top-level/aliases.nix | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) rename pkgs/by-name/nu/{nuXmv => nuxmv}/package.nix (94%) diff --git a/pkgs/by-name/nu/nuXmv/package.nix b/pkgs/by-name/nu/nuxmv/package.nix similarity index 94% rename from pkgs/by-name/nu/nuXmv/package.nix rename to pkgs/by-name/nu/nuxmv/package.nix index 51164773a4d4..ae61e27a36ee 100644 --- a/pkgs/by-name/nu/nuXmv/package.nix +++ b/pkgs/by-name/nu/nuxmv/package.nix @@ -7,7 +7,7 @@ }: stdenv.mkDerivation rec { - pname = "nuXmv"; + pname = "nuxmv"; version = "2.0.0"; src = fetchurl { @@ -35,7 +35,7 @@ stdenv.mkDerivation rec { meta = { description = "Symbolic model checker for analysis of finite and infinite state systems"; - homepage = "https://nuxmv.fbk.eu/pmwiki.php"; + homepage = "https://nuxmv.fbk.eu/"; sourceProvenance = with lib.sourceTypes; [ binaryNativeCode ]; license = lib.licenses.unfree; maintainers = with lib.maintainers; [ siraben ]; diff --git a/pkgs/top-level/aliases.nix b/pkgs/top-level/aliases.nix index 45239bd1f633..7dcdc7f7b3b6 100644 --- a/pkgs/top-level/aliases.nix +++ b/pkgs/top-level/aliases.nix @@ -1382,6 +1382,7 @@ mapAliases { NSPlist = throw "'NSPlist' has been renamed to/replaced by 'nsplist'"; # Converted to throw 2025-10-27 nuget-to-nix = throw "nuget-to-nix has been removed as it was deprecated in favor of nuget-to-json. Please use nuget-to-json instead"; # Added 2025-08-28 nushellFull = throw "'nushellFull' has been renamed to/replaced by 'nushell'"; # Converted to throw 2025-10-27 + nuXmv = warnAlias "'nuXmv' has been renamed to 'nuxmv'" nuxmv; # Added 2026-02-08 o = throw "'o' has been renamed to/replaced by 'orbiton'"; # Converted to throw 2025-10-27 oam-tools = throw "'oam-tools' has been become part of amass"; # Added 2025-12-21 oathToolkit = throw "'oathToolkit' has been renamed to/replaced by 'oath-toolkit'"; # Converted to throw 2025-10-27