You are here:
Package: idris
| Summary: | Functional Programming Language with Dependent Types |
|---|---|
| Description: | |
| URL: | https://hackage.haskell.org/package/idris |
| Owner: | petersen (petersen) |
| Bugzilla: | Active bugs |
| Pagure: | https://src.fedoraproject.org/rpms/idris |
| Koschei: | https://koschei.fedoraproject.org/package/idris |
| Branch | Repository | Version-Release | Owner | Co-maintainers |
|---|---|---|---|---|
| devel | 1.3.4-20.fc43 | |||
| EL-7 | epel-stable | 0.9.9.1-2.el7 | ||
| f42 | base | 1.3.4-18.fc42 | ||
| f41 | base | 1.3.4-17.fc41 | ||
| f40 | base | 1.3.4-14.fc40 | ||
| f39 | base | 1.3.4-12.fc39 | ||
| f38 | base | 1.3.4-6.fc38 | ||
| f37 | base | 1.3.4-5.fc37 | ||
| f36 | base | 1.3.4-3.fc36 | ||
| f35 | updates | 1.3.4-1.fc35 | ||
| base | 1.3.3-6.20210626git2ef8238d0.fc35 | |||
| f34 | base | 1.3.3-3.fc34 | ||
| f33 | base | 1.3.3-2.fc33 | ||
| f32 | base | 1.3.2-3.fc32 | ||
| f31 | base | 1.3.2-1.fc31 | ||
| f30 | testing | 1.3.1-1.fc30 | ||
| base | 1.3.1-1.fc30 | |||
| f29 | base | 1.3.0-5.fc29 | ||
| f28 | updates | 1.3.0-4.fc28 | ||
| f24 | updates | 0.9.9.1-8.fc24 | ||
| base | 0.9.9.1-7.fc24 | |||
| f23 | updates | 0.9.9.1-8.fc23 | ||
| base | 0.9.9.1-6.fc23 | |||
| f22 | base | 0.9.9.1-5.fc22 | ||
| f21 | base | 0.9.9.1-3.fc21 | ||
| f20 | base | 0.9.9.1-1.fc20 | ||
| f19 | updates | 0.9.9-1.fc19 | ||
| f18 | updates | 0.9.4.1-2.fc18 |