Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 idris2-0.8.0-5.el10_3.x86_64.rpm                      2026-03-21 08:51   26M  RedHat/CentOS/Scientific/SuSE linux Packages
 idris2-doc-0.8.0-5.el10_3.noarch.rpm                  2026-03-21 08:51  369K  RedHat/CentOS/Scientific/SuSE linux Packages
 idris2-libs-0.8.0-5.el10_3.x86_64.rpm                 2026-03-21 08:51   25K  RedHat/CentOS/Scientific/SuSE linux Packages