- 
    Mon Jun 20 2022 Jens Petersen <petersen@redhat.com>
    
- add Provides agda
   
  
  - 
    Tue Jun 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.2-36
    
- https://hackage.haskell.org/package/Agda-2.6.2.2/changelog
- disable i686 (#2098425)
   
  
  - 
    Mon Mar 07 2022 Jens Petersen <petersen@redhat.com> - 2.6.2.1-35
    
- https://hackage.haskell.org/package/Agda-2.6.2.1/changelog
   
  
  - 
    Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-34
    
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
   
  
  - 
    Sat Jan 08 2022 Miro HronĨok <mhroncok@redhat.com> - 2.6.2-33
    
- Rebuilt for https://fedoraproject.org/wiki/Changes/LIBFFI34
   
  
  - 
    Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 2.6.2-32
    
- update to 2.6.2
- https://hackage.haskell.org/package/Agda-2.6.2/changelog
- disable armv7hl due to out of memory (#73471404)
   
  
  - 
    Thu Aug 05 2021 Jens Petersen <petersen@redhat.com> - 2.6.1.3-32
    
- update to 2.6.1.3
   
  
  - 
    Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-31
    
- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
   
  
  - 
    Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-30
    
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
   
  
  - 
    Sun Oct 11 2020 Jeff Law <aw@redhat.com> - 2.6.1-29
    
- Re-enable LTO