petersen/idris

Project ID: 1634

Description

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.

Installation Instructions

yum/dnf install idris

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 for CentOS 7 ppc64le (0)*, x86_64 (0)* Epel for CentOS 7 (279 downloads)
Fedora 32 i386 (0)*, x86_64 (0)* Fedora 32 (0 downloads)
Fedora 33 i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 33 (65 downloads)
Fedora 34 i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 34 (54 downloads)
Fedora 35 i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora 35 (5 downloads)
Fedora rawhide i386 (0)*, ppc64le (0)*, x86_64 (0)* Fedora rawhide (265 downloads)

* Total number of packages downloaded in the last seven days.

External Repository List

The following repositories are accessible during builds