]> git.pld-linux.org Git - packages/NuSMV.git/commitdiff
projects / packages / NuSMV.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 306c78b)
- BR: unzip
authorsparky <sparky@pld-linux.org>
Sun, 16 May 2010 14:13:30 +0000 (14:13 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    NuSMV.spec -> 1.13

NuSMV.spec patch | blob | blame | history

diff --git a/NuSMV.spec b/NuSMV.spec
index 085a18d33b3d26392eef8d34318300f978094b30..5c41e858b866559f52a2054fdef9be0d0479f753 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -37,6 +37,7 @@ BuildRequires:        texlive-latex-carlisle
 BuildRequires: texlive-latex-extend
 BuildRequires: texlive-latex-psnfss
 BuildRequires: texlive-makeindex
+BuildRequires: unzip
 BuildRoot:     %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
 %description
New Symbolic Model Verifier
This page took 0.050872 seconds and 4 git commands to generate.