Changelog for idris-manual-1.3.4-12.fc39.noarch.rpm :

* Wed Jul 26 2023 Jens Petersen - 1.3.4-12- bump upper bounds
* Thu Jul 20 2023 Fedora Release Engineering - 1.3.4-11- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Fri Feb 17 2023 Jens Petersen - 1.3.4-6- refresh to cabal-rpm-2.1.0 with SPDX migration
* Thu Jul 21 2022 Fedora Release Engineering - 1.3.4-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Fri Jun 17 2022 Jens Petersen - 1.3.4-4- rebuild
* Thu Jan 20 2022 Fedora Release Engineering - 1.3.4-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Sat Jan 08 2022 Miro Hrončok - 1.3.4-2- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
* Mon Oct 25 2021 Jens Petersen - 1.3.4-1- update to new stable release- https://hackage.haskell.org/package/idris-1.3.4/changelog
* Sun Aug 22 2021 Jens Petersen - 1.3.3-6.20210626git2ef8238d0- update to latest git, which builds with ghc-8.10 (#1991878)
* Fri Aug 06 2021 Jens Petersen - 1.3.3-5- rebuild