SPECS: NuSMV.spec - rel 1 - updated BRs

[baggins]

Author: baggins                      Date: Fri Sep 14 14:14:49 2007 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- rel 1
- updated BRs

---- Files affected:
SPECS:
   NuSMV.spec (1.8 -> 1.9) 

---- Diffs:

================================================================
Index: SPECS/NuSMV.spec
diff -u SPECS/NuSMV.spec:1.8 SPECS/NuSMV.spec:1.9
--- SPECS/NuSMV.spec:1.8	Fri Sep 14 16:01:37 2007
+++ SPECS/NuSMV.spec	Fri Sep 14 16:14:43 2007
@@ -2,13 +2,12 @@
 #
 # TODO:
 #	- external cudd
-#	- update all BRs
 #
 Summary:	New Symbolic Model Verifier
 Summary(pl.UTF-8):	Nowy weryfikator modeli symbolicznych
 Name:		NuSMV
 Version:	2.4.3
-Release:	0.1
+Release:	1
 License:	LGPL
 Group:		Applications
 Source0:	http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
@@ -25,8 +24,11 @@
 BuildRequires:	perl-base
 BuildRequires:	readline-devel
 BuildRequires:	tetex-dvips
+BuildRequires:	tetex-format-latex
+BuildRequires:	tetex-latex-bibtex
+BuildRequires:	tetex-latex-carlisle
+BuildRequires:	tetex-latex-psnfss
 BuildRequires:	tetex-makeindex
-BuildRequires:	tetex-latex
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description
@@ -155,6 +157,10 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.9  2007/09/14 14:14:43  baggins
+- rel 1
+- updated BRs
+
 Revision 1.8  2007/09/14 14:01:37  baggins
 - fixed hack
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/SPECS/NuSMV.spec?r1=1.8&r2=1.9&f=u