From 817e7282b1a18a701735dd43b18d01cafaa0b7bd Mon Sep 17 00:00:00 2001
From: Rex Dieter rdieter@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@fedoraproject.org 6.0-25 +- rebuild (sbcl) + * Fri Feb 13 2015 Rex Dieter rdieter@fedoraproject.org 6.0-24 - rebuild (sbcl)
scm-commits@lists.fedoraproject.org