Idris RTS
This package provides the Idris RTS.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 1.3.4-2.fc36 | - |
Fedora 35 | 1.3.3-6.20210626git2ef8238d0.fc35 | - |
Fedora 34 | 1.3.3-3.fc34 | - |
You can contact the maintainers of this package via email at
idris dash maintainers at fedoraproject dot org
.