[ol9_developer_EPEL] Agda-common-2.6.2.2-36.el9.noarch

Name:	Agda-common
Version:	2.6.2.2
Release:	36.el9
Architecture:	noarch
Group:	Unspecified
Size:	804706
License:	MIT and BSD
RPM:	Agda-common-2.6.2.2-36.el9.noarch.rpm
Source RPM:	Agda-2.6.2.2-36.el9.src.rpm
Build Date:	Wed Sep 07 2022
Build Host:	build-ol9-x86_64.oracle.com
Vendor:	Oracle America
URL:	https://hackage.haskell.org/package/Agda
Summary:	Agda common files
Description:	This package provides the Agda core libraries and runtime related files.

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
```