petersen/idris2

Project ID: 38432

Description

Idris 2 is a purely functional programming language with first class types.

https://www.idris-lang.org/

Installation Instructions

Now requires chez-scheme from https://copr.fedorainfracloud.org/coprs/petersen/chez-scheme/

$ sudo dnf copr enable petersen/chez-scheme $ sudo dnf install idris2 $ idris2

Active Releases

The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).

Release Architectures Repo Download
EPEL 8 aarch64 (39)*, x86_64 (33)* EPEL 8 (184 downloads)
EPEL 9 aarch64 (29)*, ppc64le (0)*, x86_64 (20)* EPEL 9 (45 downloads)
Fedora 39 aarch64 (34)*, ppc64le (22)*, x86_64 (65)* Fedora 39 (0 downloads)
Fedora 40 aarch64 (33)*, ppc64le (24)*, x86_64 (75)* Fedora 40 (70 downloads)
Fedora 41 aarch64 (27)*, ppc64le (17)*, x86_64 (49)* Fedora 41 (26 downloads)
Fedora 42 aarch64 (5)*, ppc64le (0)*, x86_64 (19)* Fedora 42 (9 downloads)
Fedora rawhide aarch64 (37)*, ppc64le (23)*, x86_64 (78)* Fedora rawhide (185 downloads)

* Total number of downloaded packages.

External Repository List

The following repositories are accessible during builds