Unverified Commit 81f25b10 authored by Artturin's avatar Artturin Committed by GitHub
Browse files

nusmv: fix homepage URL (#341594)

parents 13ce2226 bc12c1fd

pkgs/applications/science/logic/nusmv/default.nix

+1 −1
Original line number Diff line number Diff line
@@ -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;