diff --git a/pvs-sbcl.spec b/pvs-sbcl.spec index 4ada311..792b1b2 100644 --- a/pvs-sbcl.spec +++ b/pvs-sbcl.spec @@ -1,6 +1,6 @@ Name: pvs-sbcl Version: 6.0 -Release: 58%{?dist} +Release: 59%{?dist} Summary: Interactive theorem prover from SRI License: GPLv2+ and BSD and Public Domain @@ -211,6 +211,9 @@ rm -f /tmp/pvs-*.p1 %{_texmf}/tex/latex/pvs %changelog +* Fri Jul 13 2018 Fedora Release Engineering - 6.0-59 +- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild + * Fri Apr 06 2018 Rex Dieter - 6.0-58 - rebuild (sbcl)