↵ Return to the main page of ghc-Agda-doc
View build
Search for updates
Package Info
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files
Date | Author | Change |
---|---|---|
2024-12-09 | Pete Walter <pwalter at fedoraproject dot org> - 2.6.4.3-51 | - Rebuild for ICU 76 |
2024-07-21 | Jens Petersen <petersen at redhat dot com> - 2.6.4.3-50 | - update vector-hashtables to 0.1.2.0 |
2024-07-17 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.3-49 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild |
2024-05-18 | Jens Petersen <petersen at redhat dot com> - 2.6.4.3-48 | - update to 2.6.4.3 - https://hackage.haskell.org/package/Agda-2.6.4.2/changelog - https://hackage.haskell.org/package/Agda-2.6.4.3/changelog |
2024-02-20 | Jens Petersen <petersen at redhat dot com> - 2.6.4.1-47 | - rawhide: enable-cluster-counting with text-icu - update vector-hashtables to 0.1.1.4 |
2024-01-22 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-46 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
2024-01-19 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-45 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
2024-01-18 | Fedora Release Engineering <releng at fedoraproject dot org> - 2.6.4.1-44 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild |
2023-12-07 | Jens Petersen <petersen at redhat dot com> - 2.6.4.1-43 | - https://hackage.haskell.org/package/Agda-2.6.4.1/changelog - update peano to 0.1.0.2 |
2023-10-17 | Jens Petersen <petersen at redhat dot com> - 2.6.4-42 | - F40: enable optimise-heavily flag |