Index of /epel/testing/10/Everything/aarch64/Packages/i/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
idris2-0.8.0-1.el10_2.aarch64.rpm14.0 MiB2025-Nov-08 01:10
idris2-doc-0.8.0-1.el10_2.noarch.rpm368.2 KiB2025-Nov-08 01:10
idris2-libs-0.8.0-1.el10_2.aarch64.rpm24.1 KiB2025-Nov-08 01:10