rpms/pvs-sbcl/devel pvs-sbcl.spec,1.3,1.4
Rex Dieter
rdieter at fedoraproject.org
Sat Apr 10 18:32:49 UTC 2010
- Previous message: rpms/libprojectM/F-9 .cvsignore, 1.2, NONE Makefile, 1.2, NONE branch, 1.1, NONE import.log, 1.1, NONE libprojectM-fonts.patch, 1.1, NONE libprojectM-pc-libsuffix.patch, 1.1, NONE libprojectM.spec, 1.1, NONE sources, 1.2, NONE
- Next message: rpms/sbcl/F-12 sbcl.spec,1.115,1.116
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Author: rdieter
Update of /cvs/pkgs/rpms/pvs-sbcl/devel
In directory cvs01.phx2.fedoraproject.org:/tmp/cvs-serv9824
Modified Files:
pvs-sbcl.spec
Log Message:
* Sat Apr 10 2010 Rex Dieter <rdieter at fedoraproject.org> - 4.2-4.20100126svn
- rebuild (sbcl)
Index: pvs-sbcl.spec
===================================================================
RCS file: /cvs/pkgs/rpms/pvs-sbcl/devel/pvs-sbcl.spec,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- pvs-sbcl.spec 2 Feb 2010 16:16:35 -0000 1.3
+++ pvs-sbcl.spec 10 Apr 2010 18:32:47 -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
@@ -60,7 +60,7 @@ Requires: sbcl
%endif
# Fedora SBCL is only available on Intel platforms
-ExclusiveArch: %ix86 x86_64
+ExclusiveArch: %{ix86} x86_64
%description
PVS is a verification system: that is, a specification language integrated
@@ -193,6 +193,9 @@ update-desktop-database %{_datadir}/appl
%{_datadir}/texmf/tex/latex/pvs
%changelog
+* Sat Apr 10 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)
- Previous message: rpms/libprojectM/F-9 .cvsignore, 1.2, NONE Makefile, 1.2, NONE branch, 1.1, NONE import.log, 1.1, NONE libprojectM-fonts.patch, 1.1, NONE libprojectM-pc-libsuffix.patch, 1.1, NONE libprojectM.spec, 1.1, NONE sources, 1.2, NONE
- Next message: rpms/sbcl/F-12 sbcl.spec,1.115,1.116
- Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the scm-commits
mailing list