Description
Note this copr is now deprecated since idris2 has been packaged in Fedora (July 2025)
Idris 2 is a purely functional programming language with first class types.
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 (46)*, x86_64 (35)* | EPEL 8 (198 downloads) |
|
EPEL 9
|
aarch64 (31)*, ppc64le (0)*, x86_64 (25)* | EPEL 9 (61 downloads) |
Fedora 40
|
aarch64 (37)*, ppc64le (24)*, x86_64 (91)* | Fedora 40 (0 downloads) |
|
Fedora 41
|
aarch64 (27)*, ppc64le (20)*, x86_64 (53)* | Fedora 41 (39 downloads) |
|
Fedora 42
|
aarch64 (14)*, ppc64le (5)*, x86_64 (36)* | Fedora 42 (21 downloads) |
|
Fedora rawhide
|
aarch64 (43)*, ppc64le (30)*, x86_64 (93)* | Fedora rawhide (194 downloads) |
* Total number of downloaded packages.
External Repository List
The following repositories are accessible during builds
Quick Enable
#> dnf copr enable petersen/idris2
More info about enabling Copr repositories