| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
win-64/nusmv-2.7.0-0.conda | conda | 2.7.0 | win-64 | main | Jan 20, 2025, 01:56 PM | 3.11 MB | 22 | |
linux-64/nusmv-2.7.0-0.conda | conda | 2.7.0 | linux-64 | main | Jan 20, 2025, 01:32 PM | 21.1 MB | 320 | |
osx-arm64/nusmv-2.7.0-0.conda | conda | 2.7.0 | macOS-arm64 | main | Jan 20, 2025, 01:32 PM | 2.54 MB | 29 | |
win-64/nusmv-2.6.0-0.tar.bz2 | conda | 2.6.0 | win-64 | main | Nov 13, 2024, 10:21 PM | 3.8 MB | 11 | |
osx-64/nusmv-2.6.0-0.tar.bz2 | conda | 2.6.0 | macOS-64 | main | Sep 19, 2018, 07:27 AM | 1.61 MB | 1.0K | |
linux-64/nusmv-2.6.0-0.tar.bz2 | conda | 2.6.0 | linux-64 | main | Nov 23, 2017, 03:49 PM | 3.82 MB | 3.8K |