* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 7.1.3-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

* Fri Jun 17 2022 Jens Petersen <petersen@redhat.com> - 7.1.3-2
- rebuild

* Sat Mar 26 2022 Jens Petersen <petersen@redhat.com> - 7.1.3-1
- spec file generated by cabal-rpm-2.0.11