[ol10_u1_developer_EPEL] idris2-0.7.0-4.el10_1.aarch64

Name:	idris2
Version:	0.7.0
Release:	4.el10_1
Architecture:	aarch64
Group:	Unspecified
Size:	96781448
License:	BSD-3-Clause
RPM:	idris2-0.7.0-4.el10_1.aarch64.rpm
Source RPM:	idris2-0.7.0-4.el10_1.src.rpm
Build Date:	Tue Sep 23 2025
Build Host:	build-ol10-aarch64.oracle.com
Vendor:	Oracle America
URL:	https://www.idris-lang.org
Summary:	Purely functional programming language with first class types
Description:	Idris is a programming language designed to encourage Type-Driven Development.

Changelog (Show File list) (Show related packages)

Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-4
```
- obsolete idris2-lib
```
Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
```
- redisable s390x
```

Wed Jul 02 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8

- rename boot bcond to scm_boot (#2314358)
- rename lib subpackage to libs (zbyszek, #2314358)

Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7
```
- provides idris2-static
```
Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-6
```
- samples is gone with the archive tarball
```

Mon Jan 20 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3

- use github archive tarball (zbyszek, #2314358)
- enable s390x
- rename docs subpackage to noarch doc (#2314358)
- move license file to lib (zbyszek, #2314358)

Sun Jan 19 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-2
```
- use modern bcond macro (#2314358)
```
Tue Jun 25 2024 Jens Petersen <petersen@redhat.com> - 0.7.0-1
```
- update to 0.7.0
- require chez-scheme-10
```

Sat Aug 19 2023 Jens Petersen <petersen@redhat.com> - 0.6.0-0.1

- update to 0.6.0
  https://github.com/idris-lang/Idris2/blob/v0.6.0/CHANGELOG.md
- revert to chez-scheme

Mon Sep 20 2021 Jens Petersen <petersen@redhat.com> - 0.5.1-1
```
- update to 0.5.1
```