|
|
conda
|
3.1 MB
|
|
win-64/nusmv-2.7.0-0.conda
|
1 month and 4 hours ago
|
6
|
main
|
|
|
conda
|
21.1 MB
|
|
linux-64/nusmv-2.7.0-0.conda
|
1 month and 5 hours ago
|
20
|
main
|
|
|
conda
|
2.5 MB
|
|
osx-arm64/nusmv-2.7.0-0.conda
|
1 month and 5 hours ago
|
4
|
main
|
|
|
conda
|
3.8 MB
|
|
win-64/nusmv-2.6.0-0.tar.bz2
|
3 months and 6 days ago
|
6
|
main
|
|
|
conda
|
1.6 MB
|
|
osx-64/nusmv-2.6.0-0.tar.bz2
|
6 years and 5 months ago
|
1022
|
main
|
|
|
conda
|
3.8 MB
|
|
linux-64/nusmv-2.6.0-0.tar.bz2
|
7 years and 2 months ago
|
3793
|
main
|
