Latest version of idris built using cabal sandbox to pull in latest dependencies. Note idris is also in Fedora but the version there tends to lag because of missing dependencies.
Idris is a dependently-typed functional programming language: http://www.idris-lang.org/
See https://github.com/fedora-haskell/idris for the package source.
yum/dnf install idris
The following unofficial repositories are provided as-is by owner of this project. Contact the owner directly for bugs or issues (IE: not bugzilla).
|Epel for CentOS 7||x86_64 (0)*||Epel for CentOS 7 (207 downloads)|
|Fedora 31||i386 (0)*, x86_64 (2)*||Fedora 31 (51 downloads)|
|Fedora 32||i386 (0)*, x86_64 (0)*||Fedora 32 (33 downloads)|
|Fedora 33||i386 (0)*, x86_64 (0)*||Fedora 33 (6 downloads)|
|Fedora rawhide||i386 (0)*, x86_64 (1)*||Fedora rawhide (199 downloads)|
* Total number of packages downloaded in the last seven days.
External Repository List
The following repositories are accessible during builds