Idris RTS
This package provides the Idris RTS.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 1.3.4-17.fc41 | - |
Fedora 41 | 1.3.4-17.fc41 | - |
Fedora 40 | 1.3.4-14.fc40 | - |
You can contact the maintainers of this package via email at
idris dash maintainers at fedoraproject dot org
.