diff --git a/gappalib-coq.rpmlintrc b/gappalib-coq.rpmlintrc
deleted file mode 100644
index 34f6b63..0000000
--- a/gappalib-coq.rpmlintrc
+++ /dev/null
@@ -1,15 +0,0 @@
-# THIS FILE IS FOR WHITELISTING RPMLINT ERRORS AND WARNINGS IN TASKOTRON
-# https://fedoraproject.org/wiki/Taskotron/Tasks/dist.rpmlint#Whitelisting_errors
-
-# The dictionary is missing some technical terms
-addFilter(r'W: spelling-error .* de')
-
-# Documentation is in the main package.
-addFilter(r'gappalib-coq-source\.[^:]+: W: no-documentation')
-
-# This package has no binary bits, but must be installed in an arch-specific
-# location.
-addFilter(r'gappalib-coq-source\.[^:]+: W: only-non-binary-in-usr-lib')
-
-# The configure script is NOT generated by autoconf
-addFilter(r'gappalib-coq\.spec:[^:]+: W: configure-without-libdir-spec')
diff --git a/gappalib-coq.spec b/gappalib-coq.spec
index 27b91f3..26d06bf 100644
--- a/gappalib-coq.spec
+++ b/gappalib-coq.spec
@@ -1,4 +1,5 @@
 %undefine _package_note_flags
+
 %ifnarch %{ocaml_native_compiler}
 %global debug_package %{nil}
 %endif
@@ -8,12 +9,12 @@
 # install the package and run "remake check" manually before committing.
 
 %global gappadir %{_libdir}/ocaml/coq/user-contrib/Gappa
-%global coqver  8.14.1
-%global commit  77978da2f4198c7691c6e7ffd0f3ed7400cb6c16
+%global coqver  8.15.0
+%global commit  2cdb37f4fd19f8a54606037e94dd438a36898ce7
 
 Name:           gappalib-coq
-Version:        1.5.0
-Release:        4%{?dist}
+Version:        1.5.1
+Release:        1%{?dist}
 Summary:        Coq support library for gappa
 
 License:        LGPLv2+
@@ -95,6 +96,9 @@ remake check
 %{gappadir}/*.v
 
 %changelog
+* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-1
+- Version 1.5.1
+
 * Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.0-4
 - OCaml 4.13.1 rebuild to remove package notes
 
diff --git a/sources b/sources
index aff1fd5..6728930 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (gappalib-coq-1.5.0.tar.gz) = 7ef395428150aaf16b149c28038bea52574be410ed50a10da6390d183615a9393d17a677f908eae4b9d529dffad4b00fb64288e9a08810213177ff2968353d31
+SHA512 (gappalib-coq-1.5.1.tar.gz) = 370b04a70b3ae9d74378e9b81ff5264a2351fc32c3f8fd59d6f61569bf51cba9ff2604a79a2aa8f7ea55f18f29fb9bbc83ac4b4f12de8fad9a399fd699014737