From a1ebe8179e5c35ee67474f21425ead70ec4ef4bb Mon Sep 17 00:00:00 2001
From: Rex Dieter <rdieter@math.unl.edu>
Date: Apr 29 2016 12:27:38 +0000
Subject: rebuild (sbcl)


---

diff --git a/pvs-sbcl.spec b/pvs-sbcl.spec
index 25573dd..b462440 100644
--- a/pvs-sbcl.spec
+++ b/pvs-sbcl.spec
@@ -4,7 +4,7 @@
 
 Name:           pvs-sbcl
 Version:        6.0
-Release:        38%{?dist}
+Release:        39%{?dist}
 Summary:        Interactive theorem prover from SRI
 
 Group:          Applications/Engineering
@@ -222,6 +222,9 @@ update-desktop-database %{_datadir}/applications &>/dev/null ||:
 %{_texmf_main}/tex/latex/pvs
 
 %changelog
+* Fri Apr 29 2016 Rex Dieter <rdieter@fedoraproject.org> - 6.0-39
+- rebuild (sbcl)
+
 * Mon Apr 04 2016 Rex Dieter <rdieter@fedoraproject.org> - 6.0-38
 - rebuild (sbcl)