* Tue Jul 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 15.0.0-6
- Second attempt - Rebuilt for
  https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

* Wed Jan 27 2021 Fedora Release Engineering <releng@fedoraproject.org> - 15.0.0-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

* Sat Nov 28 2020 Fabio Valentini <decathorpe@gmail.com> - 15.0.0-4
- Remove features with missing dependencies (refpool).

* Fri Sep 25 2020 Fabio Valentini <decathorpe@gmail.com> - 15.0.0-3
- Bump proptest to 0.10 and proptest-derive to 0.2.

* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 15.0.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

* Sat May 16 19:44:35 CEST 2020 Igor Raits <ignatenkobrain@fedoraproject.org> - 15.0.0-1
- Update to 15.0.0

* Tue Mar 03 2020 Josh Stone <jistone@redhat.com> - 14.3.0-1
- Update to 14.3.0

* Sat Feb 15 12:41:52 CET 2020 Igor Raits <ignatenkobrain@fedoraproject.org> - 14.2.0-1
- Update to 14.2.0

* Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 13.0.0-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

* Fri Sep 13 20:38:23 CEST 2019 Robert-André Mauchin <zebob.m@gmail.com> - 13.0.0-3
- Bump quickcheck to 0.9

* Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 13.0.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

* Sun Jun 09 18:38:02 CEST 2019 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 13.0.0-1
- Initial package