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 _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
