Folder Path
/
epel
/
testing
/
10.1
/
Everything
/
aarch64
/
Packages
/
i
/
0
directories
3
files
14 MiB
total
List
Grid
Name
Size
Modified
Up
idris2-0.7.0-4.el10_1.aarch64.rpm
14 MiB
07/04/2025 10:58:12 AM +00:00
idris2-doc-0.7.0-4.el10_1.noarch.rpm
359 KiB
07/04/2025 10:58:12 AM +00:00
idris2-libs-0.7.0-4.el10_1.aarch64.rpm
24 KiB
07/04/2025 10:58:12 AM +00:00