注册用户享1倍加速下载 立即注册
/mirrors_os/epel/testing/10.1/Everything/aarch64/Packages/i/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
idris2-0.7.0-4.el10_1.aarch64.rpm13.6 MiB2025-Jul-04 18:58
idris2-doc-0.7.0-4.el10_1.noarch.rpm359.3 KiB2025-Jul-04 18:58
idris2-libs-0.7.0-4.el10_1.aarch64.rpm23.9 KiB2025-Jul-04 18:58