rpms/pvs-sbcl/devel pvs-sbcl.spec,1.7,1.8
Rex Dieter
rdieter at fedoraproject.org
Sat Jul 17 15:26:23 UTC 2010
Author: rdieter
Update of /cvs/pkgs/rpms/pvs-sbcl/devel
In directory cvs01.phx2.fedoraproject.org:/tmp/cvs-serv29160
Modified Files:
pvs-sbcl.spec
Log Message:
* Sat Jul 17 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-6.20100126svn
- rebuild (sbcl)
Index: pvs-sbcl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/pvs-sbcl/devel/pvs-sbcl.spec,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -p -r1.7 -r1.8
--- pvs-sbcl.spec 10 May 2010 19:19:50 -0000 1.7
+++ pvs-sbcl.spec 17 Jul 2010 15:26:22 -0000 1.8
@@ -1,6 +1,6 @@
Name: pvs-sbcl
Version: 4.2
-Release: 5.20100126svn%{?dist}
+Release: 6.20100126svn%{?dist}
Summary: Interactive theorem prover from SRI
Group: Applications/Engineering
@@ -51,10 +51,10 @@ Requires: tex(latex)
Requires(postun): tex(tex)
Provides: pvs = %{version}-%{release}, pvsio = %{version}-%{release}
-# requires the same version it was built against
-%global sbcl_ver %(sbcl --version 2>/dev/null | cut -d' ' -f2 | cut -d- -f1)
+# requires the same sbcl it was built against
+%global sbcl_vr %(sbcl --version 2>/dev/null | cut -d' ' -f2)
%if "x%{?sbcl_ver}" != "x%{nil}"
-Requires: sbcl = %{sbcl_ver}
+Requires: sbcl = %{sbcl_vr}
%else
Requires: sbcl
%endif
@@ -194,6 +194,9 @@ update-desktop-database %{_datadir}/appl
%{_datadir}/texmf/tex/latex/pvs
%changelog
+* Sat Jul 17 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-6.20100126svn
+- rebuild (sbcl)
+
* Sat May 08 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-5.20100126svn
- rebuild (sbcl)
More information about the scm-commits
mailing list