Folder Path
/
epel
/
testing
/
10
/
Everything
/
x86_64
/
Packages
/
i
/
0
directories
3
files
26 MiB
total
List
Grid
Name
Size
Modified
Up
idris2-0.8.0-5.el10_3.x86_64.rpm
26 MiB
03/21/2026 12:51:22 PM +00:00
idris2-doc-0.8.0-5.el10_3.noarch.rpm
369 KiB
03/21/2026 12:51:22 PM +00:00
idris2-libs-0.8.0-5.el10_3.x86_64.rpm
25 KiB
03/21/2026 12:51:22 PM +00:00