Index of /epel/testing/10.3/Everything/aarch64/Packages/i/
Name
Size
Date
📁 ../
-
-
📄 idris2-0.8.0-5.el10_3.aarch64.rpm
26651121 bytes
2026-03-21 12:51:23
📄 idris2-doc-0.8.0-5.el10_3.noarch.rpm
377540 bytes
2026-03-21 12:51:22
📄 idris2-libs-0.8.0-5.el10_3.aarch64.rpm
25097 bytes
2026-03-21 12:51:22