From bc12c1fdff8a90cad8e127ce37ca2e0e63ca39ee Mon Sep 17 00:00:00 2001
From: d73027e7 <166523163+d73027e7@users.noreply.github.com>
Date: Fri, 13 Sep 2024 14:13:49 +0000
Subject: [PATCH] nusmv: fix homepage URL

The previous homepage URL contained a typo in the domain name and the path pointed to a location no longer available.
---
 pkgs/applications/science/logic/nusmv/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/applications/science/logic/nusmv/default.nix b/pkgs/applications/science/logic/nusmv/default.nix
index d7ecbc7cd887..058949083caf 100644
--- a/pkgs/applications/science/logic/nusmv/default.nix
+++ b/pkgs/applications/science/logic/nusmv/default.nix
@@ -29,7 +29,7 @@ stdenv.mkDerivation rec {
 
   meta = with lib; {
     description = "New symbolic model checker for the analysis of synchronous finite-state and infinite-state systems";
-    homepage = "https://nuxmv.fbk.eu/pmwiki.php";
+    homepage = "https://nusmv.fbk.eu/";
     maintainers = with maintainers; [ mgttlinger ];
     sourceProvenance = with sourceTypes; [ binaryNativeCode ];
     platforms = platforms.linux;