* Thu Feb 16 2023 Jens Petersen - 0.8.0-27 - refresh to cabal-rpm-2.1.0 with SPDX migration * Thu Jul 21 2022 Fedora Release Engineering - 0.8.0-26 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Fri Jun 17 2022 Jens Petersen - 0.8.0-25 - rebuild * Thu Jan 20 2022 Fedora Release Engineering - 0.8.0-24 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Fri Aug 06 2021 Jens Petersen - 0.8.0-23 - rebuild * Thu Jul 22 2021 Fedora Release Engineering - 0.8.0-22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering - 0.8.0-21 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering - 0.8.0-20 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Fri Jul 17 2020 Jens Petersen - 0.8.0-19 - refresh to cabal-rpm-2.0.6 * Tue Jan 28 2020 Fedora Release Engineering - 0.8.0-18 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Fri Aug 02 2019 Jens Petersen - 0.8.0-17 - add doc and prof subpackages (cabal-rpm-1.0.0) * Thu Jul 25 2019 Fedora Release Engineering - 0.8.0-16 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Sun Feb 17 2019 Jens Petersen - 0.8.0-15 - refresh to cabal-rpm-0.13 * Thu Jan 31 2019 Fedora Release Engineering - 0.8.0-14 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering - 0.8.0-13 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Wed Feb 07 2018 Fedora Release Engineering - 0.8.0-12 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Fri Jan 26 2018 Jens Petersen - 0.8.0-11 - rebuild * Tue Dec 26 2017 Jens Petersen - 0.8.0-10 - bump release over Agda * Wed Dec 20 2017 Fedora Haskell SIG - 0.8.0-1 - spec file generated by cabal-rpm-0.12