From 817e7282b1a18a701735dd43b18d01cafaa0b7bd Mon Sep 17 00:00:00 2001
From: Rex Dieter <rdieter(a)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(a)fedoraproject.org> 6.0-25
+- rebuild (sbcl)
+
* Fri Feb 13 2015 Rex Dieter <rdieter(a)fedoraproject.org> 6.0-24
- rebuild (sbcl)
--
cgit v0.10.2
http://pkgs.fedoraproject.org/cgit/pvs-sbcl.git/commit/?h=f22&id=817e...