rpms/pvs-sbcl/F-12 pvs-sbcl.spec,1.3,1.4

[Rex Dieter]

Author: rdieter

Update of /cvs/pkgs/rpms/pvs-sbcl/F-12
In directory cvs01.phx2.fedoraproject.org:/tmp/cvs-serv6395

Modified Files:
	pvs-sbcl.spec 
Log Message:
* Sat May 08 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-4.20100126svn
- rebuild (sbcl)



Index: pvs-sbcl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/pvs-sbcl/F-12/pvs-sbcl.spec,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- pvs-sbcl.spec	19 Feb 2010 17:19:44 -0000	1.3
+++ pvs-sbcl.spec	10 May 2010 18:36:32 -0000	1.4
@@ -1,6 +1,6 @@
 Name:           pvs-sbcl
 Version:        4.2
-Release:        3.20100126svn%{?dist}
+Release:        4.20100126svn%{?dist}
 Summary:        Interactive theorem prover from SRI
 
 Group:          Applications/Engineering
@@ -193,6 +193,9 @@ update-desktop-database %{_datadir}/appl
 %{_datadir}/texmf/tex/latex/pvs
 
 %changelog
+* Sat May 08 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-4.20100126svn
+- rebuild (sbcl)
+
 * Mon Feb 01 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-3.20100126svn
 - rebuild (sbcl)
 - drop Requires(post): desktop-file-utils (not needed)