Package: idris

Upstream info
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
Packages available in Fedora Repositories
Branch Repository Version-Release Owner Co-maintainers
devel 1.3.4-14.fc40
EL-7 epel-stable 0.9.9.1-2.el7
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