- 
    Thu Jul 19 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-14
    
- update to EdisonCore-1.3.2.1 and geniplate-mirror-0.7.6
- revise .cabal file
   
  
  - 
    Thu Jul 12 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-13
    
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
   
  
  - 
    Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.3-12
    
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
   
  
  - 
    Tue Jan 02 2018 Jens Petersen <petersen@redhat.com> - 2.5.3-11
    
- update to 2.5.3
- add uri-encode subpackage
   
  
  - 
    Tue Dec 26 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-10
    
- ieee754 is now a separate package
   
  
  - 
    Wed Nov 15 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-9
    
- gitrev is now packaged in Fedora
   
  
  - 
    Fri Nov 10 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-8
    
- geniplate-mirror-0.7.5
- gitrev-1.3.1 (#1511680)
   
  
  - 
    Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-7.1
    
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
   
  
  - 
    Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.2-6.1
    
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild
   
  
  - 
    Sun Mar 12 2017 Jens Petersen <petersen@redhat.com> - 2.5.2-5
    
- compile .agda files at buildtime