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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
idris2-libs-0.7.0-4.el10_1.aarch64.rpm23.9 KiB2025-Jul-04 10:58
idris2-doc-0.7.0-4.el10_1.noarch.rpm359.3 KiB2025-Jul-04 10:58
idris2-0.7.0-4.el10_1.aarch64.rpm13.6 MiB2025-Jul-04 10:58