/epel/testing/10.3/Everything/aarch64/Packages/i/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
idris2-0.8.0-5.el10_3.aarch64.rpm25.4 MiBMarch 21, 2026
idris2-doc-0.8.0-5.el10_3.noarch.rpm368.7 KiBMarch 21, 2026
idris2-libs-0.8.0-5.el10_3.aarch64.rpm24.5 KiBMarch 21, 2026