diff --git a/pvs-sbcl.spec b/pvs-sbcl.spec
index cfeb30c..35417b1 100644
--- a/pvs-sbcl.spec
+++ b/pvs-sbcl.spec
@@ -1,6 +1,6 @@
 Name:           pvs-sbcl
 Version:        6.0
-Release:        44%{?dist}
+Release:        45%{?dist}
 Summary:        Interactive theorem prover from SRI
 
 License:        GPLv2+ and BSD and Public Domain
@@ -207,6 +207,9 @@ rm -f /tmp/pvs-*.p1
 %{_texmf}/tex/latex/pvs
 
 %changelog
+* Mon Mar 27 2017 Rex Dieter <rdieter@fedoraproject.org> - 6.0-45
+- rebuild (sbcl)
+
 * Wed Feb 22 2017 Jerry James <loganjerry@gmail.com> - 6.0-44
 - rebuild (sbcl)
 - Drop workaround for bz 1268054, now fixed