[ol10_u0_developer_EPEL] ghc-Agda-devel-2.6.4.3-50.el10_0.aarch64

This package provides the Haskell Agda library development files.

Changelog (Show File list) (Show related packages)

• Sun Jul 21 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.3-50

  - update vector-hashtables to 0.1.2.0

• Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.3-49

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild

• Sat May 18 2024 Jens Petersen <petersen@redhat.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

• Tue Feb 20 2024 Jens Petersen <petersen@redhat.com> - 2.6.4.1-47

  - rawhide: enable-cluster-counting with text-icu
  - update vector-hashtables to 0.1.1.4

• Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-46

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

• Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-45

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

• Thu Jan 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4.1-44

  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild

• Thu Dec 07 2023 Jens Petersen <petersen@redhat.com> - 2.6.4.1-43

  - https://hackage.haskell.org/package/Agda-2.6.4.1/changelog
  - update peano to 0.1.0.2

• Tue Oct 17 2023 Jens Petersen <petersen@redhat.com> - 2.6.4-42

  - F40: enable optimise-heavily flag

• Mon Oct 09 2023 Jens Petersen <petersen@redhat.com> - 2.6.4-41

  - update to 2.6.4
  - https://hackage.haskell.org/package/Agda-2.6.4/changelog