gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nuxmv: fix homepage and rename from nuXmv

Browse Source 
rename to lowercase to fit package naming conventions
This commit is contained in:
quantenzitrone
2026-02-10 17:04:02 +01:00
parent 9378e64792
commit adfadd13f8
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/nu/nuXmv/package.nix → pkgs/by-name/nu/nuxmv/package.nix
+2 -2
View File
@@ -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 ];
pkgs/top-level/aliases.nix
+1
View File
@@ -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