Manage | Anaconda.org

Type	Size	Name	Uploaded	Downloads	Labels
conda	3.1 MB	\| win-64/nusmv-2.7.0-0.conda	1 year and 1 month ago	21	main
conda	21.1 MB	\| linux-64/nusmv-2.7.0-0.conda	1 year and 1 month ago	287	main
conda	2.5 MB	\| osx-arm64/nusmv-2.7.0-0.conda	1 year and 1 month ago	27	main
conda	3.8 MB	\| win-64/nusmv-2.6.0-0.tar.bz2	1 year and 3 months ago	10	main
conda	1.6 MB	\| osx-64/nusmv-2.6.0-0.tar.bz2	7 years and 5 months ago	1033	main
conda	3.8 MB	\| linux-64/nusmv-2.6.0-0.tar.bz2	8 years and 3 months ago	3804	main

colomoto / packages / nusmv

0