idris-static-1.3.4-2.fc36 - Fedora Packages

Date	Author	Change
2022-01-08	Miro Hrončok <mhroncok at redhat dot com> - 1.3.4-2	- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
2021-10-25	Jens Petersen <petersen at redhat dot com> - 1.3.4-1	- update to new stable release - https://hackage.haskell.org/package/idris-1.3.4/changelog
2021-08-22	Jens Petersen <petersen at redhat dot com> - 1.3.3-6.20210626git2ef8238d0	- update to latest git, which builds with ghc-8.10 (#1991878)
2021-08-06	Jens Petersen <petersen at redhat dot com> - 1.3.3-5	- rebuild
2021-07-22	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-4	- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-3	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-08-10	Jens Petersen <petersen at redhat dot com> - 1.3.3-2	- setup bash completion
2020-07-28	Fedora Release Engineering <releng at fedoraproject dot org> - 1.3.3-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
2020-06-10	Jens Petersen <petersen at redhat dot com> - 1.3.3-1	- update to 1.3.3
2020-02-20	Jens Petersen <petersen at redhat dot com> - 1.3.2-3	- refresh to cabal-rpm-2.0.2

idris-static-1.3.4-2.fc36 in Fedora Rawhide