|
|
conda
|
3.1 MB
|
|
win-64/nusmv-2.7.0-0.conda
|
2 months and 3 days ago
|
7
|
main
|
|
|
conda
|
21.1 MB
|
|
linux-64/nusmv-2.7.0-0.conda
|
2 months and 3 days ago
|
42
|
main
|
|
|
conda
|
2.5 MB
|
|
osx-arm64/nusmv-2.7.0-0.conda
|
2 months and 3 days ago
|
6
|
main
|
|
|
conda
|
3.8 MB
|
|
win-64/nusmv-2.6.0-0.tar.bz2
|
4 months and 10 days ago
|
7
|
main
|
|
|
conda
|
1.6 MB
|
|
osx-64/nusmv-2.6.0-0.tar.bz2
|
6 years and 6 months ago
|
1023
|
main
|
|
|
conda
|
3.8 MB
|
|
linux-64/nusmv-2.6.0-0.tar.bz2
|
7 years and 4 months ago
|
3794
|
main
|
