rdieter pushed to pvs-sbcl (master). "rebuild (sbcl)"

[notifications at fedoraproject.org]

>From 817e7282b1a18a701735dd43b18d01cafaa0b7bd Mon Sep 17 00:00:00 2001
From: Rex Dieter <rdieter at math.unl.edu>
Date: Thu, 30 Apr 2015 17:51:50 -0500
Subject: rebuild (sbcl)


diff --git a/pvs-sbcl.spec b/pvs-sbcl.spec
index e9aa623..47262e1 100644
--- a/pvs-sbcl.spec
+++ b/pvs-sbcl.spec
@@ -1,6 +1,6 @@
 Name:           pvs-sbcl
 Version:        6.0
-Release:        24%{?dist}
+Release:        25%{?dist}
 Summary:        Interactive theorem prover from SRI
 
 Group:          Applications/Engineering
@@ -215,6 +215,9 @@ update-desktop-database %{_datadir}/applications &>/dev/null ||:
 %{_texmf_main}/tex/latex/pvs
 
 %changelog
+* Thu Apr 30 2015 Rex Dieter <rdieter at fedoraproject.org> 6.0-25
+- rebuild (sbcl)
+
 * Fri Feb 13 2015 Rex Dieter <rdieter at fedoraproject.org> 6.0-24
 - rebuild (sbcl)
 
-- 
cgit v0.10.2


	http://pkgs.fedoraproject.org/cgit/pvs-sbcl.git/commit/?h=master&id=817e7282b1a18a701735dd43b18d01cafaa0b7bd