/epel/testing/10/Everything/x86_64/Packages/i/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
idris2-libs-0.8.0-5.el10_3.x86_64.rpm
24.9 KiB
March 21, 2026
idris2-doc-0.8.0-5.el10_3.noarch.rpm
368.7 KiB
March 21, 2026
idris2-0.8.0-5.el10_3.x86_64.rpm
25.8 MiB
March 21, 2026