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

nusmv: fix homepage URL

Browse Source 
The previous homepage URL contained a typo in the domain name and the path pointed to a location no longer available.
This commit is contained in:
d73027e7 2024-09-13 14:13:49 +00:00 committed by GitHub
parent c960ba48d1
commit bc12c1fdff
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/applications/science/logic/nusmv/default.nix
View File

@ -29,7 +29,7 @@ stdenv.mkDerivation rec {
meta = with lib; { meta = with lib; {
description = "New symbolic model checker for the analysis of synchronous finite-state and infinite-state systems"; 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 ]; maintainers = with maintainers; [ mgttlinger ];
sourceProvenance = with sourceTypes; [ binaryNativeCode ]; sourceProvenance = with sourceTypes; [ binaryNativeCode ];
platforms = platforms.linux; platforms = platforms.linux;