ELBA-2025-36360

ELBA-2025-36360 - idris2 Bug Fix update

Type:	BUG
Impact:	NA
Release Date:	2025-07-16

Description

[0.7.0-4]
- obsolete idris2-lib

[0.7.0-3]
- redisable s390x

[0.7.0-8]
- rename boot bcond to scm_boot (#2314358)
- rename lib subpackage to libs (zbyszek, #2314358)

[0.7.0-7]
- provides idris2-static

[0.7.0-6]
- samples is gone with the archive tarball

[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)

[0.7.0-2]
- use modern bcond macro (#2314358)

[0.7.0-1]
- update to 0.7.0
- require chez-scheme-10

[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

Updated Packages

Release/Architecture	Filename	sha256	Superseded By Advisory	Channel Label
Oracle Linux 9 (x86_64)	idris2-0.7.0-4.el9.src.rpm	e98d2b9728fcb4002e1d80a54a69ee17594e77f22b43879fea3a52855c647a2d	-	ol9_x86_64_developer_EPEL
	idris2-0.7.0-4.el9.x86_64.rpm	c3ea9d455995abf8795dee37f739b11d8cbf613c10ba22813fae3eea46f998e3	-	ol9_x86_64_developer_EPEL
	idris2-doc-0.7.0-4.el9.noarch.rpm	1e663bcdd524d1e242edee9663366bbfd45a8373fca632781c13a45bbd79bb9a	-	ol9_x86_64_developer_EPEL
	idris2-libs-0.7.0-4.el9.x86_64.rpm	425f076b6b9a18596580db5bdd56b1525c3dc168cd6d20f2fe71355c9b1c558f	-	ol9_x86_64_developer_EPEL

This page is generated automatically and has not been checked for errors or omissions. For clarification or corrections please contact the Oracle Linux ULN team