diff --git a/package/avm/nusmv/nusmv.desc b/package/avm/nusmv/nusmv.desc
index 2cd615912..ec316f5d2 100644
--- a/package/avm/nusmv/nusmv.desc
+++ b/package/avm/nusmv/nusmv.desc
@@ -38,8 +38,8 @@
 
 [L] LGPL
 [S] Stable
-[V] 2.2.5
+[V] 2.3.1
 [P] X -----5---9 241.300
 
-[D] 114126480 NuSMV-2.2.5.tar.gz http://nusmv.irst.itc.it/distrib/
+[D] 2640403592 NuSMV-2.3.1.tar.gz http://nusmv.irst.itc.it/distrib/