From 1412c18297c288a2bc588ae568328957d75c659f Mon Sep 17 00:00:00 2001 From: "Andreas V. 'netrunner' Meier" Date: Wed, 22 Mar 2006 21:50:43 +0000 Subject: [PATCH] Andreas V. Meier: update nusmv(2.3.1) [2006031820221206978] (https://www.rocklinux.net/submaster) git-svn-id: http://www.rocklinux.org/svn/rock-linux/trunk@7284 c5f82cb5-29bc-0310-9cd0-bff59a50e3bc --- package/avm/nusmv/nusmv.desc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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/