Index of /macports-packages/nusmv/

../
nusmv-2.6.0_2.darwin_11.x86_64.tbz2                24-Mar-2026 18:13             3411127
nusmv-2.6.0_2.darwin_11.x86_64.tbz2.rmd160         24-Mar-2026 18:13                 512
nusmv-2.6.0_2.darwin_12.x86_64.tbz2                26-Mar-2026 20:04             3446431
nusmv-2.6.0_2.darwin_12.x86_64.tbz2.rmd160         26-Mar-2026 20:04                 512
nusmv-2.6.0_2.darwin_13.x86_64.tbz2                22-Mar-2026 14:51             3370826
nusmv-2.6.0_2.darwin_13.x86_64.tbz2.rmd160         22-Mar-2026 14:51                 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_15.x86_64.tbz2                18-Mar-2026 02:08             3265090
nusmv-2.6.0_2.darwin_15.x86_64.tbz2.rmd160         18-Mar-2026 02:08                 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_18.x86_64.tbz2                31-Mar-2026 17:03             3239677
nusmv-2.6.0_2.darwin_18.x86_64.tbz2.rmd160         31-Mar-2026 17:03                 512
nusmv-2.6.0_2.darwin_19.x86_64.tbz2                01-Apr-2026 03:42             3236770
nusmv-2.6.0_2.darwin_19.x86_64.tbz2.rmd160         01-Apr-2026 03:42                 512
nusmv-2.6.0_2.darwin_20.x86_64.tbz2                17-Mar-2026 17:14             3250520
nusmv-2.6.0_2.darwin_20.x86_64.tbz2.rmd160         17-Mar-2026 17:14                 512
nusmv-2.6.0_2.darwin_22.arm64.tbz2                 29-Mar-2026 05:07             3200838
nusmv-2.6.0_2.darwin_22.arm64.tbz2.rmd160          29-Mar-2026 05:07                 512
nusmv-2.6.0_2.darwin_23.arm64.tbz2                 17-Mar-2026 15:08             3180755
nusmv-2.6.0_2.darwin_23.arm64.tbz2.rmd160          17-Mar-2026 15:08                 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