Index of /macports-packages/nusmv/

../
nusmv-2.6.0_1.darwin_24.arm64.tbz2                 09-Mar-2025 20:13             3177204
nusmv-2.6.0_1.darwin_24.arm64.tbz2.rmd160          09-Mar-2025 20:13                 512
nusmv-2.6.0_2.darwin_14.x86_64.tbz2                11-Mar-2026 22:23             3284182
nusmv-2.6.0_2.darwin_14.x86_64.tbz2.rmd160         11-Mar-2026 22:23                 512
nusmv-2.6.0_2.darwin_16.x86_64.tbz2                11-Mar-2026 11:34             3239079
nusmv-2.6.0_2.darwin_16.x86_64.tbz2.rmd160         11-Mar-2026 11:34                 512
nusmv-2.6.0_2.darwin_17.x86_64.tbz2                12-Mar-2026 17:20             3240771
nusmv-2.6.0_2.darwin_17.x86_64.tbz2.rmd160         12-Mar-2026 17:20                 512
nusmv-2.6.0_2.darwin_23.x86_64.tbz2                16-Mar-2026 09:15             3229511
nusmv-2.6.0_2.darwin_23.x86_64.tbz2.rmd160         16-Mar-2026 09:15                 512